logic-ng / LogicNG
97%
master: 97%

LAST BUILD BRANCH: dimacsfilewriter_singleclausebug
DEFAULT BRANCH: master
Repo Added
Files 272
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

LAST BUILD ON BRANCH qmc
branch: qmc
CHANGE BRANCH
x

5adcdd933ada9c00017390f7

push

wercker

Christoph Zengler 
Finished QMC implementation, testing, and documentation

12508 of 12933 relevant lines covered (96.71%)

0.97 hits per line

Relevant lines Covered
12933 RELEVANT LINES 12508 COVERED LINES
0.97 HITS PER LINE
Source Files on qmc
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
5adcdd93... qmc Finished QMC implementation, testing, and documentation push Christoph Zengler wercker pending completion  
5adc4b61... qmc more QMC testing push Christoph Zengler wercker pending completion  
5adb84a0... qmc a small improvement for unite of two terms push Christoph Zengler wercker pending completion  
5ada5459... qmc first working version of QMC - but term unite is very slow yet push Christoph Zengler wercker pending completion  
5ad9bf9e... qmc compute prime implicants push Christoph Zengler wercker pending completion  
5ad9921a... qmc a little more work on QMC push Christoph Zengler wercker pending completion  
5ad8ec78... qmc begin QMC implementation push Christoph Zengler wercker pending completion  
See All Builds (469)