The MiniZinc Handbook¶
MiniZinc is a free and open-source constraint modeling language. You can use MiniZinc to model constraint satisfaction and optimization problems in a high-level, solver-independent way, taking advantage of a large library of pre-defined constraints.
This handbook consists of four parts: Section 1 covers installation and basic steps; Section 2 is a tutorial-style introduction into modelling with MiniZinc; Section 3 is a user manual for the individual tools in the MiniZinc tool chain; and Section 4 is a reference to the language.
This documentation is licensed under a Creative Commons Attribution-NoDerivatives 4.0 International License. This means that you are free to copy and redistribute the material in any medium or format for any purpose, even commercially. However, you must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use. If you remix, transform, or build upon the material, you may not distribute the modified material.
- 1. Overview
- 2. A MiniZinc Tutorial
- 3. User Manual
- 3.1. The MiniZinc Command Line Tool
- 3.2. The MiniZinc IDE
- 3.3. CP-Profiler
- 3.4. Solving Technologies and Solver Backends
- 3.5. Automatic Solution Checking, Model Validation, and Benchmarking
- 3.6. Globalizer
- 3.7. FindMUS
- 3.8. Using MiniZinc in Jupyter Notebooks
- 3.9. Python Interface
- 3.10. Installation from Source Code
- 4. Reference Manual