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.