dekker.one / bytecode-benchmarks
A set of benchmarks to compare a new prototype MiniZinc implementation
fork atom
bytecode-benchmarks / prototype / share / minizinc /
at develop 8 folders
g12_fd
g12_lazyfd
geas
gecode_presolver
linear
linear_old
linear_scip
std