dekker.one / mzn-byte-benchmarks
This repository has no description
Star
Fork 0
Watch
mzn-byte-benchmarks flatten nonogram
27 files
dom_06.dzn
dom_08.dzn
dom_10.dzn
dom_12.dzn
dom_14.dzn
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
non.mzn