summaryrefslogtreecommitdiff
path: root/pcr/clasp
AgeCommit message (Expand)Author
2014-10-09A conflict-driven nogood learning answer set solver.Aurélien DESBRIÈRES
2014-06-05claspAurélien DESBRIÈRES