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
Next Previous

© Copyright 2017, Paolo Dragone (MIT Licence).

Built with Sphinx using a theme provided by Read the Docs.