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