3. User Manual

• 3.1. The MiniZinc Command Line Tool
  • 3.1.1. Basic Usage
  • 3.1.2. Adding Solvers
    • 3.1.2.1. Configuration files
    • 3.1.2.2. Configuration for MIP solvers
  • 3.1.3. Options
    • 3.1.3.1. General options
    • 3.1.3.2. Solving options
    • 3.1.3.3. Flattener input options
      • Flattener two-pass options
      • Flattener output options
    • 3.1.3.4. Solution output options
  • 3.1.4. User Configuration Files
  • 3.1.5. Command-line Parameter Files
• 3.2. The MiniZinc IDE
  • 3.2.1. Editing files
    • 3.2.1.1. Editing functions
    • 3.2.1.2. Fonts and dark mode
  • 3.2.2. Configuring and Running a Solver
    • 3.2.2.1. Running a model
    • 3.2.2.2. Solver configurations
    • 3.2.2.3. Automatic Solution Checking
    • 3.2.2.4. Compiling a model
    • 3.2.2.5. Profiling a model
  • 3.2.3. Working With Projects
  • 3.2.4. Submitting Solutions to Online Courses
  • 3.2.5. Configuration Options
    • 3.2.5.1. Locating the MiniZinc installation
    • 3.2.5.2. Adding Third-Party Solvers
      • Configuring existing solvers
      • Adding new solvers
    • 3.2.5.3. Editing options
    • 3.2.5.4. Output options
• 3.3. Visualising solutions in the MiniZinc IDE
  • 3.3.1. Visualisation library
  • 3.3.2. Pre-defined visualisations
  • 3.3.3. Custom visualisations
    • 3.3.3.1. Example visualisation
    • 3.3.3.2. MiniZincIDE JavaScript API
• 3.4. CP-Profiler
  • 3.4.1. Using the profiler
  • 3.4.2. Traditional Tree Visualisation
  • 3.4.3. Alternative Search Tree Visualisations
  • 3.4.4. Similar Subtree Analysis
  • 3.4.5. Execution Comparison by Merging
  • 3.4.6. Replaying Search
  • 3.4.7. Nogood Analysis
  • 3.4.8. The protocol (high level)
  • 3.4.9. The protocol (low level)
• 3.5. Solving Technologies and Solver Backends
  • 3.5.1. Constraint Programming Solvers
    • 3.5.1.1. Gecode
    • 3.5.1.2. Chuffed
    • 3.5.1.3. OR-Tools
  • 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.6.1. Autonomous Automatic Solution Checking and Benchmarking
  • 3.6.2. Model Validation: Automatic Solution Checking with a Checker Model
    • 3.6.2.1. Basic checker models
    • 3.6.2.2. Detailed feedback
    • 3.6.2.3. Instance data in checker models
    • 3.6.2.4. Checking optimisation problems
    • 3.6.2.5. Hidden variables
• 3.7. Globalizer
  • 3.7.1. Basic Usage
  • 3.7.2. Caveats
  • 3.7.3. Supported Constraints
  • 3.7.4. Using Globalizer in the MiniZinc IDE
  • 3.7.5. How it works
  • 3.7.6. Performance tips
  • 3.7.7. Limitations / Future work
• 3.8. FindMUS
  • 3.8.1. Basic Usage
    • 3.8.1.1. Commandline arguments
    • 3.8.1.2. Example
  • 3.8.2. Using FindMUS in the MiniZinc IDE
  • 3.8.3. How it works
  • 3.8.4. Performance tips
  • 3.8.5. Limitations / Future work
• 3.9. Mzn-Analyse
  • 3.9.1. Basic Usage
    • 3.9.1.1. Passes: read/write models & json
    • 3.9.1.2. Passes: Manipulate Models
    • 3.9.1.3. Passes: Special Passes
  • 3.9.2. Examples
  • 3.9.3. Limitations / Future work
• 3.10. Using MiniZinc in Jupyter Notebooks
  • 3.10.1. Installation
  • 3.10.2. Basic usage
• 3.11. Python Interface
• 3.12. JavaScript Interface
• 3.13. Installation from Source Code