logic-ng / LogicNG / 5d2853f8a952c20008939adc
97%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 222
Run time 19s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
5d2853f8a952c20008939adc

push

wercker

Christoph Zengler 
two small bugfixes regarding SAT solving with assumptions and backbones

14037 of 14487 relevant lines covered (96.89%)

0.97 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
1
94.84
 0.0% src/main/java/org/logicng/solvers/maxsat/algorithms/WBO.java
9
96.64
 -0.26% src/main/java/org/logicng/solvers/MiniSat.java
Jobs
ID Job ID Ran Files Coverage
1 5d2853f8a952c20008939adc.1 222
96.89
Source Files on build 5d2853f8a952c20008939adc