Reference Documentation

Release:

8.0.1

Date:

Sep 20, 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