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. |