dekker.one / chronozinc
A small application used to run benchmarks on MiniZinc models and solvers
fork atom
0 open 0 merged 0 closed
new