dekker.one / bytecode-benchmarks
A set of benchmarks to compare a new prototype MiniZinc implementation
fork atom
bytecode-benchmarks / mzn-rewriting / kidney-exchange /
at develop 11 files
3_20_0.25_2.dzn
3_20_0.25_2.meta
3_20_0.25_5.dzn
3_20_0.25_5.meta
3_20_0.30_5.dzn
3_20_0.30_5.meta
3_20_0.40_3.dzn
3_20_0.40_3.meta
3_25_0.20_3.dzn
3_25_0.20_3.meta
ccmcp.mzn