Reference Documentation# Release: 6.10.0 Date: Apr 17, 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