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

Add load_cnf function for DIMACS CNF formatted boolean satisfiability functions #54

Closed arcondello closed 6 years ago

codecov-io commented 6 years ago

Codecov Report

Merging #54 into master will decrease coverage by 0.17%. The diff coverage is 87.8%.

Impacted file tree graph

@@            Coverage Diff             @@
##           master      #54      +/-   ##
==========================================
- Coverage    92.8%   92.63%   -0.18%     
==========================================
  Files          16       18       +2     
  Lines         570      611      +41     
==========================================
+ Hits          529      566      +37     
- Misses         41       45       +4
Impacted Files Coverage Δ
dwavebinarycsp/io/__init__.py 100% <100%> (ø)
dwavebinarycsp/io/cnf.py 87.5% <87.5%> (ø)
dwavebinarycsp/core/csp.py 91.42% <0%> (+2.85%) :arrow_up:

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 4f216e5...027fa16. Read the comment docs.