dekker.one / bytecode-benchmarks
A set of benchmarks to compare a new prototype MiniZinc implementation
fork atom
bytecode-benchmarks / mzn-rewriting / amaze /
at develop 11 files
2012-03-19.dzn
2012-03-19.meta
2012-03-29.dzn
2012-03-29.meta
2012-07-13.dzn
2012-07-13.meta
2012-07-27.dzn
2012-07-27.meta
amaze3.mzn
mod2012-03-29.dzn
mod2012-03-29.meta