Converting to a Binary Quadratic Model

Constraint satisfaction problems can be converted to binary quadratic models to be solved on samplers such as the D-Wave system.

Compilers

Compilers accept a constraint satisfaction problem and return a dimod.BinaryQuadraticModel.

stitch(csp[, min_classical_gap, max_graph_size])

Build a binary quadratic model with minimal energy levels at solutions to the specified constraint satisfaction problem.