dekker.one / bytecode-benchmarks
A set of benchmarks to compare a new prototype MiniZinc implementation
fork atom
bytecode-benchmarks / mzn-rewriting / city-position /
at develop 7 files
city-4-04.dzn
city-5-05.dzn
city-5-06.dzn
city-5-08.dzn
city-7-04.dzn
city-8-06.dzn
city-position.mzn