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
19 stars 27 forks source link

Handle the 2sat case with penaltymodel-lp #98

Closed arcondello closed 4 years ago

arcondello commented 4 years ago

Also resolves a lingering incompatibility with dimod 0.9.0

codecov-io commented 4 years ago

Codecov Report

Merging #98 into master will decrease coverage by 0.47%. The diff coverage is 100%.

Impacted file tree graph

@@            Coverage Diff             @@
##           master      #98      +/-   ##
==========================================
- Coverage   92.37%   91.89%   -0.48%     
==========================================
  Files          18       18              
  Lines         616      580      -36     
==========================================
- Hits          569      533      -36     
  Misses         47       47
Impacted Files Coverage Δ
dwavebinarycsp/compilers/stitcher.py 97.01% <100%> (-1.05%) :arrow_down:

Continue to review full report at Codecov.

Legend - Click here to learn more Δ = absolute <relative> (impact), ø = not affected, ? = missing data Powered by Codecov. Last update 68640e8...535df94. Read the comment docs.

arcondello commented 4 years ago

Left the 1-sat case in untl https://github.com/dwavesystems/penaltymodel/issues/114 is resolved