PyMzn
0.16.1
Install
Quick Start
Manual
MiniZinc tools
Dzn files
Solvers
Modelling
Templating
Process execution
Configuration
Implementation details
Troubleshooting
PyMzn
Docs
»
Manual
View page source
Manual
ΒΆ
This is the reference manual of PyMzn.
MiniZinc tools
pymzn.Solutions
pymzn.minizinc
pymzn.mzn2fzn
pymzn.solns2out
pymzn.MiniZincError
pymzn.MiniZincUnsatisfiableError
pymzn.MiniZincUnknownError
pymzn.MiniZincUnboundedError
Dzn files
pymzn.dict2dzn
pymzn.dzn2dict
pymzn.stmt2dzn
pymzn.val2dzn
pymzn.rebase_array
Solvers
pymzn.Solver
pymzn.Gecode
pymzn.Chuffed
pymzn.Optimathsat
pymzn.Opturion
pymzn.MIPSolver
pymzn.Gurobi
pymzn.CBC
pymzn.G12Solver
pymzn.G12Fd
pymzn.G12Lazy
pymzn.G12MIP
pymzn.gecode
pymzn.chuffed
pymzn.optimathsat
pymzn.opturion
pymzn.gurobi
pymzn.cbc
pymzn.g12fd
pymzn.g12lazy
pymzn.g12mip
Modelling
pymzn.MiniZincModel
pymzn.Statement
pymzn.Constraint
pymzn.Variable
pymzn.ArrayVariable
pymzn.OutputStatement
pymzn.SolveStatement
Templating
pymzn.add_package
pymzn.add_path
Process execution
pymzn.process.Process
Configuration
pymzn.config.get
pymzn.config.set
pymzn.config.dump
Debug
Implementation details
Model flattening
Solver classes
Solution output stream
Solution parsing
Thread safety