MiniZinc#

This collection focuses on constraint programming using the MiniZinc modeling language. MiniZinc is a high-level modeling language for constraint satisfaction and optimization problems that is solver-agnostic and designed for expressing models clearly and naturally.

About MiniZinc#

MiniZinc is a constraint modeling language that allows you to express combinatorial optimization problems in a high-level, readable format. It’s designed to be solver-agnostic, meaning you can use the same model with different types of solvers including:

• Constraint programming solvers (Gecode)
• SAT solvers
• Mixed Integer Programming solvers (HiGHS, CBC)
• Lazy Clause Generation solvers (Chuffed, OR-Tools CP-SAT)