Models using an intrinsic auto-tabling mechanism in MiniZinc.
The knot hosting this repository is unreachable.