aboutsummaryrefslogtreecommitdiff
path: root/math/clasp
Commit message (Expand)AuthorAgeFilesLines
* */*: Sunset 12.4-RELEASE/12-STABLE from ports treeMuhammad Moinur Rahman2023-12-311-2/+0
* math/clasp: Update to 3.3.9Vsevolod Stakhov2023-09-052-9/+8
* Remove WWW entries moved into port MakefilesStefan Eßer2022-09-071-2/+0
* Add WWW entries to port MakefilesStefan Eßer2022-09-071-0/+1
* math: remove 'Created by' linesTobias C. Berner2022-07-201-2/+0
* math/clingo: Update 5.4.1 -> 5.5.0Yuri Victorovich2021-04-211-0/+2
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
* math/clasp: fix build on GCC architecturesPiotr Kubaj2020-07-051-1/+1
* - Update to 3.3.5Vsevolod Stakhov2020-06-192-5/+15
* Change cmake default behaviour to outsource.Tobias C. Berner2018-12-251-1/+1
* Mark broken on sparc64.Mark Linimon2016-09-181-0/+2
* - Fix trailing whitespace in pkg-descrs, categories [g-n]*Dmitry Marakasov2016-05-191-1/+1
* - Update to 3.1.3Vsevolod Stakhov2015-08-173-23/+3
* MASTER_SITES cleanup.Mathieu Arnold2015-05-141-2/+1
* 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