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. Using MiniZinc in Jupyter Notebooks
- 3.10. Python Interface
- 3.11. Installation from Source Code