API Reference# 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