dekker.one / bytecode-benchmarks
A set of benchmarks to compare a new prototype MiniZinc implementation
fork atom
bytecode-benchmarks / mzn-rewriting / road-cons /
at develop 6 files
road_17.dzn
road_18.dzn
road_25.dzn
road_26.dzn
road_33.dzn
road_naive.mzn