2.8.1
The MiniZinc Handbook
1. Overview
1.1. Introduction
1.2. Installation
1.3. First steps with MiniZinc
2. Minizinc 指南
3. User Manual
4. Reference Manual
The MiniZinc Handbook
1.
Overview
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