dekker.one / bytecode-benchmarks
A set of benchmarks to compare a new prototype MiniZinc implementation
fork atom
bytecode-benchmarks / mzn-rewriting / community-detection /
at develop 6 files
Sampson.s10.k3.dzn
Strike.s2.k8.dzn
Strike.s6.k5.dzn
community-detection.mzn
dolphin.s62.k3.dzn
mexican.s26.k4.dzn