Reference Documentation

Release:

8.1.0

Date:

Dec 06, 2024

• 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