aboutsummaryrefslogtreecommitdiff
path: root/math/clasp/pkg-descr
Commit message (Expand)AuthorAgeFilesLines
* Add clasp - an answer set solver for (extended) normal logic programs.Vsevolod Stakhov2013-09-191-0/+13