aboutsummaryrefslogtreecommitdiff
path: root/math/clasp
Commit message (Expand)AuthorAgeFilesLines
* Fix build on 8 and 9 where there is no std::strtoull.Vsevolod Stakhov2014-08-271-0/+20
* - Update to 3.1.0Vsevolod Stakhov2014-08-192-3/+3
* - Update to 2.1.4Vsevolod Stakhov2014-01-103-15/+3
* - Unbreak with clang and new C++ world.Vsevolod Stakhov2013-11-012-2/+13
* Add NO_STAGE all over the place in preparation for the staging support (cat: ...Baptiste Daroussin2013-09-201-0/+1
* Add clasp - an answer set solver for (extended) normal logic programs.Vsevolod Stakhov2013-09-193-0/+36