aboutsummaryrefslogtreecommitdiff
path: root/math/clingo
Commit message (Expand)AuthorAgeFilesLines
* math/{,py-}clingo: Update 5.6.1 → 5.6.2Yuri Victorovich2023-03-202-8/+9
* math/{,py-}clingo: Update 5.6.0 -> 5.6.1Yuri Victorovich2022-09-182-4/+4
* math/clingo: Update 5.5.2 -> 5.6.0Yuri Victorovich2022-09-142-12/+31
* 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/clingo: Update 5.5.1 -> 5.5.2Yuri Victorovich2022-05-052-7/+7
* math/clingo: Update 5.5.0 -> 5.5.1Yuri Victorovich2021-11-182-12/+9
* math/clingo: Update 5.4.1 -> 5.5.0Yuri Victorovich2021-04-213-9/+16
* One more small cleanup, forgotten yesterday.Mathieu Arnold2021-04-071-1/+0
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
* math/clingo: Update 5.4.0 -> 5.4.1Yuri Victorovich2020-12-092-7/+11
* Fix build on GCC-based systems:Mark Linimon2019-11-161-1/+1
* New port: math/clingo: Grounder and solver for logic programsYuri Victorovich2019-11-164-0/+49