aboutsummaryrefslogtreecommitdiffstats
path: root/math/clasp/Makefile
Commit message (Expand)AuthorAgeFilesLines
* Add NO_STAGE all over the place in preparation for the staging support (cat: ...bapt2013-09-211-0/+1
* Add clasp - an answer set solver for (extended) normal logic programs.vsevolod2013-09-191-0/+21