File | Type | Notes |
---|---|---|
non_MiniZinc_Benchmarks.zip | zip | dzn files for non.mzn |
nonogram_dragonfly.co | Comet data | |
nonogram_dragonfly.dzn | MiniZinc data | |
nonogram_dragonfly.py | Python data | |
nonogram_p200.co | Comet data | |
nonogram_p200.dzn | MiniZinc data | |
nonogram_p200.py | Python data | |
nonogram_soccer_player.co | Comet data | |
nonogram_soccer_player.dzn | MiniZinc data | |
nonogram_soccer_player.py | Python data | |
params.zip | zip | example .param files for Essence model |