2.8.7
The MiniZinc Handbook
1. Overview
1.1. Introduction
1.2. Installation
1.3. First steps with MiniZinc
2. A MiniZinc Tutorial
3. User Manual
4. Reference Manual
The MiniZinc Handbook
1.
Overview
Edit on GitHub
1.
Overview
1.1. Introduction
1.1.1. Structure
1.1.2. How to Read This
1.2. Installation
1.2.1. Microsoft Windows
1.2.2. Linux
1.2.2.1. Snap
1.2.2.2. AppImage
1.2.2.3. Archive
1.2.3. Apple macOS
1.2.4. Adding Third-party Solvers
1.3. First steps with MiniZinc
1.3.1. The MiniZinc IDE
1.3.2. The MiniZinc command line tool
Read the Docs
v: stable
Versions
latest
stable
2.8.7
2.8.6
2.8.5
2.8.4
2.8.3
2.8.2
2.8.1
2.8.0
2.7.6
2.7.5
2.7.4
2.7.3
2.7.2
2.7.1
2.7.0
2.6.4
2.6.3
2.6.2
2.6.1
2.6.0
2.5.5
2.5.4
2.5.3
2.5.2
2.5.1
2.5.0
2.4.3
2.4.2
2.4.1
2.4.0
2.3.2
2.3.1
2.3.0
2.2.3
2.2.2
2.2.1
2.2.0
Downloads
pdf
On Read the Docs
Project Home
Builds