summaryrefslogtreecommitdiff
path: root/pcr/clasp
AgeCommit message (Collapse)Author
2016-02-08clasp-3.1.3-1: updating versionOmar Vega Ramos
2015-07-05clasp-3.1.2-1: updating versionOmar Vega Ramos
2014-10-09A conflict-driven nogood learning answer set solver.Aurélien DESBRIÈRES
2014-06-05claspAurélien DESBRIÈRES