Description
Constraint-modeling support helps applications describe optimization and decision problems in MiniZinc form. It is useful for scheduling, allocation, planning, verification, and research workflows that rely on constraint solvers.
This is a modeling library, not a one-click solver interface. Results depend on the model, solver backend, data, and interpretation of satisfiable or optimal solutions.