MiniZinc

MiniZinc is a medium-level modelling language. It is high-level enough to express most CP problems easily, but low-level enough that it can be mapped onto existing solvers easily and consistently. It is a subset of the higher-level language Zinc.

Click here to view video transcript

Click here to go to the software site


MiniZinc Developers
Ralph Becket                - click here to contact
Mark Brown                  - click here to contact
Thibaut Feydy               - click here to contact
Julien Fischer                - click here to contact
Jakob Puchinger            - click here to contact
Andreas Schutt             - click here to contact
Peter Stuckey               - click here to contact
Mark Wallace                - click here to contact
Sebastian Brand
Gregory Duck
Nicholas Nethercote
Guido Tack
Sam Abousaid

Return to home page