summaryrefslogtreecommitdiff
path: root/math/clingo
AgeCommit message (Expand)Author
2023-03-20math/{,py-}clingo: Update 5.6.1 → 5.6.2Yuri Victorovich
2022-09-17math/{,py-}clingo: Update 5.6.0 -> 5.6.1Yuri Victorovich
2022-09-13math/clingo: Update 5.5.2 -> 5.6.0Yuri Victorovich
2022-09-07Remove WWW entries moved into port MakefilesStefan Eßer
2022-09-07Add WWW entries to port MakefilesStefan Eßer
2022-05-05math/clingo: Update 5.5.1 -> 5.5.2Yuri Victorovich
2021-11-17math/clingo: Update 5.5.0 -> 5.5.1Yuri Victorovich
2021-04-21math/clingo: Update 5.4.1 -> 5.5.0Yuri Victorovich
2021-04-07One more small cleanup, forgotten yesterday.Mathieu Arnold
2021-04-06Remove # $FreeBSD$ from Makefiles.Mathieu Arnold
2020-12-09math/clingo: Update 5.4.0 -> 5.4.1Yuri Victorovich
2019-11-16Fix build on GCC-based systems:Mark Linimon
2019-11-16New port: math/clingo: Grounder and solver for logic programsYuri Victorovich