Reference Documentation

Release:

8.2.0

Date:

Feb 26, 2025

• Defining Constraint Satisfaction Problems
  • Class
  • Methods
• Converting to a Binary Quadratic Model
  • Compilers
• Other CSP Formats
  • DIMACS
• Reducing Constraints
  • Functions
• Defining Constraints
  • Class
  • Methods
• Factories
  • Constraints
  • CSPs