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