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