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