Published August 18, 2024 | Version v1
Dataset Open

On Lower Bounding Minimal Model Count

Creators

Contributors

  • 1. ROR icon University of Toronto

Description

It contains the benchmark and experimental log files of our work "On Lower Bounding Minimal Model Count"

Files

HashCounterInput.zip

Files (23.9 MB)

Name Size Download all
md5:cac81427a956cc2778265bf455528da1
5.5 MB Preview Download
md5:8565b88ee676bff196afa75e7b1c7d71
13.7 MB Preview Download
md5:2095418b2a71671f2918535d34a4033b
4.7 MB Preview Download

Additional details

Software

Repository URL
https://github.com/meelgroup/MinLB
Programming language
Python