Reference Documentation# Release: 6.9.0 Date: Mar 01, 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