summaryrefslogtreecommitdiff
path: root/pcr/clasp
AgeCommit message (Collapse)Author
2016-11-28Removing clasp: This package is in [community] repoOmar Vega Ramos
2016-10-21clasp-3.2.0-1: updating versionOmar Vega Ramos
2016-05-30clasp-3.1.4-1: updating versionOmar Vega Ramos
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