Factories¶
dwavebinarycsp currently provides factories for constraints representing Boolean gates and satisfiability problems and CSPs for circuits and satisfiability problems.
Constraints¶
Gates¶
|
AND gate. |
|
OR gate. |
|
XOR gate. |
|
Half adder. |
|
Full adder. |
Satisfiability Problems¶
|
Two-in-four (2-in-4) satisfiability. |
CSPs¶
|
Multiplication circuit constraint satisfaction problem. |
|
Random two-in-four (2-in-4) constraint satisfaction problem. |
|
Random XOR constraint satisfaction problem. |