aboutsummaryrefslogtreecommitdiff
path: root/math/clingcon
Commit message (Expand)AuthorAgeFilesLines
* math/{,py-}clingcon: update 5.2.0 → 5.2.1Yuri Victorovich2024-04-212-4/+4
* math/clingcon: New port: Extension of clingo to handle constraints over integersYuri Victorovich2022-09-144-0/+41