3. User Manual
- 3.1. The MiniZinc Command Line Tool
- 3.2. The MiniZinc IDE
- 3.3. Visualising solutions in the MiniZinc IDE
- 3.4. CP-Profiler
- 3.5. Solving Technologies and Solver Backends
- 3.5.1. Constraint Programming Solvers
- 3.5.2. Mixed-Integer Programming Solvers
- 3.5.2.1. MIP-Aware Modeling (But Mostly Useful for All Backends)
- 3.5.2.2. Useful Flattening Parameters
- 3.5.2.3. Some Solver Options and Changed Default Values
- 3.5.2.4. Subtour Elimination Constraints
- 3.5.2.5. Unified Domains (MIPdomains)
- 3.5.2.6. Indicator Constraints
- 3.5.2.7. Quadratic Constraints and Objectives (MIQCP)
- 3.5.2.8. Pools of User Cuts and Lazy Constraints
- 3.5.2.9. Warm Starts
- 3.5.3. Non-Linear Solvers via NL File Format
- 3.6. Automatic Solution Checking, Model Validation, and Benchmarking
- 3.7. Globalizer
- 3.8. FindMUS
- 3.9. Mzn-Analyse
- 3.10. Using MiniZinc in Jupyter Notebooks
- 3.11. Python Interface
- 3.12. JavaScript Interface
- 3.13. Installation from Source Code