Repo Added
|
Files
272
|
Badge
README BADGES
|
push
wercker
14138 of 14589 relevant lines covered (96.91%)
0.97 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
5d3f3b62... | feature/cnf-on-solver | Large backbone unit tests | push | Christoph Zengler | wercker | pending completion | |
5d3eda0b... | feature/cnf-on-solver | Integrated backbone computation in top-level SAT solver | push | Christoph Zengler | wercker | pending completion | |
5d3cc9d3... | feature/cnf-on-solver | Fixed unit tests | push | Christoph Zengler | wercker | pending completion | |
5d3c5681... | feature/cnf-on-solver | Integrated backbone solver in MiniSat | push | Christoph Zengler | wercker | pending completion | |
5d3c103a... | feature/cnf-on-solver | fix: NullPointerException in enumerateAllModels | push | Christoph Zengler | wercker | pending completion | |
5d3ac1dc... | feature/cnf-on-solver | include changes from 1.5.2 | push | Christoph Zengler | wercker | pending completion | |
5d3abac5... | feature/cnf-on-solver | PG on solver implementation | push | Christoph Zengler | wercker | pending completion |