MiniZinc - Object-Oriented Modelling

Solver registrations for the 2026 MiniZinc Challenge are now open!

Resources Team Playground Challenge Discussions

Object-Oriented Modelling

Coming soon.

MiniZinc

Downloads
Playground
Challenge
Releases

Learn

Resources
Tutorial
User manual
Reference manual

About

Team
Publications
Issue tracker
License information

MiniZinc is partially funded by the Australian Government through the Australian Research Council Industrial Transformation Training Centre in Optimisation Technologies, Integrated Methodologies, and Applications (OPTIMA), Project ID IC200100009.

© 2026 MiniZinc Team