logic-ng / LogicNG / 5b124fca7c06ca0001ef15e4
97%
master: 97%

LAST BUILD BRANCH: dimacsfilewriter_singleclausebug
DEFAULT BRANCH: master
Ran
Jobs 1
Files 192
Run time 10s
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
5b124fca7c06ca0001ef15e4

push

wercker

Christoph Zengler 
new method for adding more than one proposition to the SAT solver

13708 of 14170 relevant lines covered (96.74%)

0.97 hits per line

Jobs
ID Job ID Ran Files Coverage
1 5b124fca7c06ca0001ef15e4.1 0
96.74
Source Files on build 5b124fca7c06ca0001ef15e4
Detailed source file information is not available for this build.