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.4.1. Constraint Programming Solvers
- 3.4.2. Mixed-Integer Programming Solvers
- 3.4.2.1. MIP-Aware Modeling (But Mostly Useful for All Backends)
- 3.4.2.2. Useful Flattening Parameters
- 3.4.2.3. Some Solver Options and Changed Default Values
- 3.4.2.4. Subtour Elimination Constraints
- 3.4.2.5. Unified Domains (MIPdomains)
- 3.4.2.6. Indicator Constraints
- 3.4.2.7. Quadratic Constraints and Objectives (MIQCP)
- 3.4.2.8. Pools of User Cuts and Lazy Constraints
- 3.4.2.9. Warm Starts
- 3.4.3. Non-Linear Solvers via NL File Format
- 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