dekker.one / bytecode-benchmarks
A set of benchmarks to compare a new prototype MiniZinc implementation
fork atom
bytecode-benchmarks / mzn-rewriting / nonogram /
at develop 27 files
dom_06.dzn
dom_08.dzn
dom_10.dzn
dom_12.dzn
dom_14.dzn
non.mzn
non_awful_1.dzn
non_awful_2.dzn
non_awful_3.dzn
non_awful_4.dzn
non_awful_5.dzn
non_fast_1.dzn
non_fast_10.dzn
non_fast_11.dzn
non_fast_2.dzn
non_fast_3.dzn
non_fast_4.dzn
non_fast_5.dzn
non_fast_6.dzn
non_fast_7.dzn
non_fast_8.dzn
non_fast_9.dzn
non_med_1.dzn
non_med_2.dzn
non_med_3.dzn
non_med_4.dzn
non_micro.dzn