| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 13 | master | Enable precompilation | push | travis-ci | pending completion | ||
| 12 | master | Export ncuts | push | travis-ci | pending completion | ||
| 11 | master | Export ncuts | Pull #2 | travis-ci | pending completion | ||
| 10 | ncuts | Export ncuts | push | travis-ci | pending completion | ||
| 9 | master | fix: remove ambiguity in AvgCutPruner | push | travis-ci | pending completion | ||
| 8 | new-cut-pruning | dev: add Matos's level1 cut pruning /!\ Non working workaround | push | travis-ci | pending completion | ||
| 7 | master | fix: remove ambiguity in AvgCutPruner | Pull #1 | travis-ci | pending completion | ||
| 6 | update-documentation | fix: remove ambiguity in AvgCutPruner | push | travis-ci | pending completion | ||
| 2 | master | Update badges | push | travis-ci | pending completion | ||
| 1 | master | Update badges | push | travis-ci | pending completion |