CPMpy

Usage

  • Modeling and solving with CPMpy

Advanced guides:

  • How to debug
  • Obtaining multiple solutions
  • UnSAT core extraction with assumptions
  • Developer guide
  • Adding a new solver

API documentation:

  • Expressions (cpmpy.expressions)
  • Model (cpmpy.Model)
  • Solver interfaces (cpmpy.solvers)
  • Expression transformations (cpmpy.transformations)
  • Tools (cpmpy.tools)
CPMpy
  • Search

© Copyright 2024, Tias Guns.

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