Age | Commit message (Collapse) | Author | |
---|---|---|---|
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 | ||
Libre Packages Build Scripts for the Parabola GNU/Linux-libre (Arch Build System Libre) |
summaryrefslogtreecommitdiff |
Age | Commit message (Collapse) | Author | |
---|---|---|---|
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 | |