This work is licensed under a Creative Commons Attribution 4.0 International License. | File | Type | Notes |
|---|---|---|
| battleship_instances.pl | Prolog |
The 303 difficult instances by Moshe Rubin in compact Prolog format. |
| 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.