dwavebinarycsp
dwavebinarycsp copied to clipboard
dwavesystems
Map constraint satisfaction problems with binary variables to binary quadratic models.
The people need a NOT gate
**Application** It would be good to also support weighted conjunctive normal form. Requires #73
**Application** The stitch function generates a BQM's penaltymodel by cascading thorough Cache, LP, MIP, and finally, MaxGap. - Make a test to verify that this cascade is happening in the...
**Application** In some scenarios, the BQM that is returned by the stitch function has a small energy gap, which results in multiple low energy states being returned by the solver,...
On 64-bit OS and 32-bit Python we still try to install `penaltymodel-mip` (which uses `ortools`), instead of `penaltymodel-maxgap`.
Polynomials (numbers) are more readable when written in big-endian notation. One example is [`multiplication_circuit` factory docs](https://docs.ocean.dwavesys.com/projects/binarycsp/en/latest/reference/generated/dwavebinarycsp.factories.csp.circuits.multiplication_circuit.html).
The attached program solves the max-cut graph problem by creating a circuit of 14 variables (3 full adders and 1 half adder) to see if a cut of size k...
**Application** Given the 'usual' ways to generate constraints, the pattern ``` csp.add_constraint(and_gate(['a', 'b', 'c'])) ``` seems more astonishing than ``` csp.add_constraint(and_gate, ['a', 'b', 'c']) ``` One anticipated problem is that...
**Application** Sometimes I want to create a constraint for which I already know the values for some of the variables. I can create the constraint and then immediately fix the...
Metadata
Owner
Metadata
Map constraint satisfaction problems with binary variables to binary quadratic models.