| Age | Commit message (Expand) | Author |
|---|---|---|
| 2016-05-30 | clasp-3.1.4-1: updating version | Omar Vega Ramos |
| 2016-02-08 | clasp-3.1.3-1: updating version | Omar Vega Ramos |
| 2015-07-05 | clasp-3.1.2-1: updating version | Omar Vega Ramos |
| 2014-10-09 | A conflict-driven nogood learning answer set solver. | Aurélien DESBRIÈRES |
| 2014-06-05 | clasp | Aurélien DESBRIÈRES |
 |
index : abslibre.git | |
| Parabola package recipes (Arch Build System Libre) | Parabola git |
| summaryrefslogtreecommitdiff |