Blog post12 min read
How I write MiniZincDraft
How I name, structure and format MiniZinc models, and why I am building Zincite to help with that work.
MiniZinc
Constraint programming with MiniZinc
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)
Posts in this collection (5)
Blog post23 min read
Solving the Partridge Packing Problem using MiniZincDraft
A MiniZinc walk-through of the Partridge Packing Problem: pack one 1×1 square, two 2×2 squares, and so on into a square with exactly the same total area.
Blog post19 min read
Rotating Workforce Scheduling in MiniZincDraft
Solving the Rotating Workforce Scheduling problem using MiniZinc.
Blog post17 min read
On Benchmarking MiniZinc and the LinkedIn Queens ProblemDraft
On Benchmarking MiniZinc and the LinkedIn Queens Problem
Blog post9 min read
Solving LinkedIn Queens using MiniZincDraft
Solving LinkedIn Queens using MiniZinc
