aboutsummaryrefslogtreecommitdiff
path: root/math/clingo
Commit message (Expand)AuthorAgeFilesLines
* 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