dekker.one / minizinc-auto-tabling-models
Models using an intrinsic auto-tabling mechanism in MiniZinc.
fork atom
new