aboutsummaryrefslogtreecommitdiff
path: root/math/py-clingo
Commit message (Expand)AuthorAgeFilesLines
* math/{,py-}clingo: Update 5.6.0 -> 5.6.1Yuri Victorovich2022-09-182-4/+4
* math/py-clingo: Fix testsYuri Victorovich2022-09-141-3/+3
* math/py-clingo: Correct cmake dependency; Use PYTHON_EXT_SUFFIXYuri Victorovich2022-09-141-2/+2
* math/py-clingo: New port: Grounder and solver for logic programsYuri Victorovich2022-09-143-0/+33