aboutsummaryrefslogtreecommitdiff
path: root/math/clingo/distinfo
Commit message (Expand)AuthorAgeFilesLines
* math/{,py-}clingo: update 5.6.2 → 5.7.1Yuri Victorovich2024-04-211-15/+17
* math/{,py-}clingo: Update 5.6.1 → 5.6.2Yuri Victorovich2023-03-201-5/+5
* math/{,py-}clingo: Update 5.6.0 -> 5.6.1Yuri Victorovich2022-09-181-3/+3
* math/clingo: Update 5.5.2 -> 5.6.0Yuri Victorovich2022-09-141-5/+17
* math/clingo: Update 5.5.1 -> 5.5.2Yuri Victorovich2022-05-051-5/+5
* math/clingo: Update 5.5.0 -> 5.5.1Yuri Victorovich2021-11-181-7/+5
* math/clingo: Update 5.4.1 -> 5.5.0Yuri Victorovich2021-04-211-5/+5
* math/clingo: Update 5.4.0 -> 5.4.1Yuri Victorovich2020-12-091-5/+7
* New port: math/clingo: Grounder and solver for logic programsYuri Victorovich2019-11-161-0/+5