Access to all MiniZinc functionality directly from Python
python linear-programming constraint-programming sat-solver minizinc integer-programming optimisation-problem
-
Updated
Sep 17, 2025 - Python