Repo Added
|
Files
217
|
Badge
Embed ▾
README BADGES
|
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
829 | fix_239 | Merge 6104a491a into 8b01f9bba | Pull #250 | web-flow | travis-ci-com | pending completion | |
828 | fix_239 | Update src/main/java/at/ac/tuwien/kr/alpha/solver/learning/GroundConflictNoGoodLearner.java Co-authored-by: Richard Taupe <richard.taupe@siemens.com> | push | web-flow | travis-ci-com | pending completion | |
811 | fix_239 | Merge 78433905f into 8b01f9bba | Pull #250 | web-flow | travis-ci-com | pending completion | |
810 | fix_239 | Add unit test. | push | AntoniusW | travis-ci-com | pending completion | |
809 | fix_239 | Merge 599d433a6 into 8b01f9bba | Pull #250 | web-flow | travis-ci-com | pending completion | |
808 | fix_239 | Fix bug in computation of backjumping level for violated unary nogoods in GroundConflictNoGoodLearner and related issue with erroneous storage of conflicting out-of-order assignments in TrailAssignment. | push | AntoniusW | travis-ci-com | pending completion |