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
21 stars 28 forks source link

Support WCNF #74

Open arcondello opened 5 years ago

arcondello commented 5 years ago

Application It would be good to also support weighted conjunctive normal form. Requires #73