Reference Documentation# Release: 7.1.0 Date: Jul 25, 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