Achse / weighted-satisfiability-of-boolean-formulas
99%

DEFAULT BRANCH: master
Repo Added
Files 19
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 master
branch: SELECT
CHANGE BRANCH
x

17

push

travis-ci

web-flow 
Create LICENSE

211 of 214 relevant lines covered (98.6%)

0.99 hits per line

Relevant lines Covered
214 RELEVANT LINES 211 COVERED LINES
0.99 HITS PER LINE
Source Files on master

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
17 master Create LICENSE push web-flow travis-ci pending completion  
16 master after testing commit push Achse travis-ci pending completion  
15 master remov frgotten debug code push Achse travis-ci pending completion  
14 master fix tests, starting optimization for speed push Achse travis-ci pending completion  
11 master we lods wights too :) push Achse travis-ci pending completion  
10 master clean the code, better method separation push Achse travis-ci pending completion  
9 master DIMACS cnf format work in progress push Achse travis-ci pending completion  
8 master add tests for Judge push Achse travis-ci pending completion  
7 master coveralls push Achse travis-ci pending completion  
See All Builds (9)