3. User ManualΒΆ
- 3.1. The MiniZinc Command Line Tool
- 3.2. The MiniZinc IDE
- 3.3. Solving Technologies and Solver Backends
- 3.3.1. Constraint Programming Solvers
- 3.3.2. Mixed-Integer Programming Solvers
- 3.3.2.1. MIP-Aware Modeling (But Mostly Useful for All Backends)
- 3.3.2.2. Useful Flattening Parameters
- 3.3.2.3. Some Solver Options and Changed Default Values
- 3.3.2.4. Subtour Elimination Constraints
- 3.3.2.5. Unified Domains (MIPdomains)
- 3.3.2.6. Indicator Constraints
- 3.3.2.7. Pools of User Cuts and Lazy Constraints
- 3.3.2.8. Warm Starts
- 3.3.3. Non-linear Solvers
- 3.4. Automatic Solution Checking
- 3.5. Globalizer
- 3.6. FindMUS
- 3.7. Using MiniZinc in Jupyter Notebooks
- 3.8. Python Interface
- 3.9. Installation from Source Code