dwavebinarycsp
dwavebinarycsp copied to clipboard
Map constraint satisfaction problems with binary variables to binary quadratic models.
I understand that it's nice to have flexibility, and it's a user mistake, but this is a hole I likely will not be the only one to fall into: import...
I can do: >>> csp1.add_constraint(operator.eq, ['a', 'b']) I want to be able to do: >> csp1.add_constraint(operator.eq, ['a', 'b'], name='aNOT_EQUALb') so I can see: >>> csp1.constraints [Constraint.from_configurations(frozenset([(0, 0), (1, 1)]), ('a',...
Starting point: https://github.com/dwavesystems/factoring-demo/blob/0.1.1/tests/test_gates.py
Although GitHub renders :tm: in the SDK build there's a ``we recommend using the hybrid solvers in the Leap :tm: service`` message.