This work is licensed under a Creative Commons Attribution 4.0 International License. | File | Type | Notes |
|---|---|---|
| sb_MiniZinc_Benchmarks.zip | zip | dzn files for sb.mzn |
| SBInstances.zip | zip | 03 difficult instances and an explanation of the file format (pdf) kindly donated by Moshe Rubin (mosher@mountainvistasoft.com). Moshe's Fathom It! (http://www.mountainvistasoft.com/) rule-based solver cannot currently solve these instances. |
This work is licensed under a Creative Commons Attribution 4.0 International License.