|
Repo Added
|
Files
53
|
Badge
README BADGES
|
push
travis-ci
3518 of 4100 relevant lines covered (85.8%)
1009640.25 hits per line
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 65 | master | fixed ipasir mode for use with simp-solver | push | travis-ci | pending completion | ||
| 64 | master | fixed bug in new propagate | push | travis-ci | pending completion | ||
| 63 | master | few changes, readability | push | travis-ci | pending completion | ||
| 57 | master | cleanup propagate: moved watcher cleanup out to separate loop | push | travis-ci | pending completion | ||
| 55 | master | fix asymm | push | travis-ci | pending completion | ||
| 54 | master | draft for system description 1.0 | push | travis-ci | pending completion | ||
| 50 | master | add additional condition for inprocessing | push | travis-ci | pending completion | ||
| 38 | master | Merge pull request #27 from fkutzner/pr_miter_1 Added Miter Detection, refactored towards std::chrono | push | travis-ci | pending completion | ||
| 23 | master | optionally preorder variables | push | travis-ci | pending completion |