Models using an intrinsic auto-tabling mechanism in MiniZinc.
Updated 2025-03-03 11:39:25 +00:00