Logo
2.2.2
The MiniZinc Handbook
  • 1. Overview
  • 2. Minizinc 指南
  • 3. User Manual
    • 3.1. The MiniZinc Command Line Tool
    • 3.2. The MiniZinc IDE
    • 3.3. Globalizer
    • 3.4. FindMUS
    • 3.5. Using MiniZinc in Jupyter Notebooks
  • 4. Reference Manual
The MiniZinc Handbook
  • Docs »
  • 3. User Manual

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.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.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.3. Globalizer
    • 3.3.1. Basic Usage
    • 3.3.2. Caveats
    • 3.3.3. Supported Constraints
    • 3.3.4. Using Globalizer in the MiniZinc IDE
    • 3.3.5. How it works
    • 3.3.6. Performance tips
    • 3.3.7. Limitations / Future work
  • 3.4. FindMUS
    • 3.4.1. Basic Usage
      • 3.4.1.1. Commandline arguments
      • 3.4.1.2. Example
    • 3.4.2. Using FindMUS in the MiniZinc IDE
    • 3.4.3. How it works
    • 3.4.4. Performance tips
    • 3.4.5. Limitations / Future work
  • 3.5. Using MiniZinc in Jupyter Notebooks
    • 3.5.1. Installation
    • 3.5.2. Basic usage
Next Previous

© Copyright 2016, 2017, 2018, Peter J. Stuckey, Kim Marriott, Guido Tack.

Creative Commons License