aboutsummaryrefslogtreecommitdiff
path: root/math/clingo/Makefile
Commit message (Expand)AuthorAgeFilesLines
* Fix build on GCC-based systems:Mark Linimon2019-11-161-1/+1
* New port: math/clingo: Grounder and solver for logic programsYuri Victorovich2019-11-161-0/+25