Other CSP Formats#
Deprecated since version 0.3.1: dwavebinarycsp is deprecated and will be removed in Ocean 10.
For solving problems with constraints, we recommand using the hybrid
solvers in the Leap service.
You can find documentation for the hybrid solvers at Hybrid Solvers.
DIMACS#
The DIMACS format is used to encode boolean satisfiability problems in conjunctive normal form.
CNF#
|
Load a constraint satisfaction problem from a .cnf file. |