dekker.one / bytecode-benchmarks
A set of benchmarks to compare a new prototype MiniZinc implementation
fork atom
bytecode-benchmarks / prototype / solvers /
at develop 6 folders
MIP
fzn
geas
gecode
mzn
nl