search

dwavesystems / dwavebinarycsp

Map constraint satisfaction problems with binary variables to binary quadratic models.
https://docs.ocean.dwavesys.com/projects/binarycsp/en/latest
Apache License 2.0
20 stars 27 forks source link

First pass at satisfy #2

Closed orenshk closed 6 years ago

orenshk commented 6 years ago

Missing:

Checking the assignment in satisfy. Unit testing of satisfy.