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