Manual

This is the reference manual of PyMzn.

• MiniZinc tools
  • pymzn.minizinc
  • pymzn.mzn2fzn
  • pymzn.solns2out
  • pymzn.Status
  • pymzn.Solutions
  • pymzn.MiniZincError
• 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.OscarCBLS
  • pymzn.ORTools
  • pymzn.gecode
  • pymzn.chuffed
  • pymzn.optimathsat
  • pymzn.opturion
  • pymzn.gurobi
  • pymzn.cbc
  • pymzn.oscar_cbls
  • pymzn.or_tools
• Templating
  • pymzn.templates.add_package
  • pymzn.templates.add_path
• Asynchronous execution
  • pymzn.aio.minizinc
• Configuration
  • Debug
• PyMzn executable