aboutsummaryrefslogtreecommitdiff
path: root/math/clasp/Makefile
Commit message (Expand)AuthorAgeFilesLines
* Mark broken on sparc64.Mark Linimon2016-09-181-0/+2
* - Update to 3.1.3Vsevolod Stakhov2015-08-171-1/+1
* MASTER_SITES cleanup.Mathieu Arnold2015-05-141-2/+1
* - Update to 3.1.0Vsevolod Stakhov2014-08-191-1/+1
* - Update to 2.1.4Vsevolod Stakhov2014-01-101-2/+1
* - Unbreak with clang and new C++ world.Vsevolod Stakhov2013-11-011-2/+2
* 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-191-0/+21