| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 | |
| mirror of git://projects.parabola.nu/abslibre.git | Parabola git mirror |
| summaryrefslogtreecommitdiff |