Achse
/
weighted-satisfiability-of-boolean-formulas
99%
|
Repo Added
|
Files
19
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH master
push
travis-ci
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
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
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 |