dekker.one / bytecode-benchmarks
A set of benchmarks to compare a new prototype MiniZinc implementation
fork atom
bytecode-benchmarks / mzn-rewriting / amaze / 2012-07-13.meta
at develop 88 B view raw
1MODEL=amaze3.mzn 2DATA=2012-07-13.dzn 3METHOD=sat 4TAGS=challenge2019,amaze 5TIMELIMIT=1200