PyMzn
0.18.3
Install
Tutorial
Manual
MiniZinc tools
Dzn files
Solvers
pymzn.Solver
pymzn.Gecode
pymzn.Chuffed
pymzn.Optimathsat
pymzn.Opturion
pymzn.MIPSolver
pymzn.Gurobi
pymzn.CBC
pymzn.OscarCBLS
pymzn.ORTools
pymzn.gecode
pymzn.chuffed
pymzn.optimathsat
pymzn.opturion
pymzn.gurobi
pymzn.cbc
pymzn.oscar_cbls
pymzn.or_tools
Templating
Asynchronous execution
Configuration
PyMzn executable
PyMzn
Docs
»
Manual
»
Solvers
»
pymzn.optimathsat
pymzn.optimathsat
¶
pymzn.
optimathsat
= <pymzn.mzn.solvers.Optimathsat object>
¶
Interface to the Optimathsat solver.