Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | math/{,py-}clingcon: update 5.2.0 → 5.2.1 | Yuri Victorovich | 2024-04-21 | 2 | -4/+4 |
* | math/clingcon: New port: Extension of clingo to handle constraints over integers | Yuri Victorovich | 2022-09-14 | 4 | -0/+41 |
![]() |
index : ports | |
FreeBSD ports tree |
aboutsummaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | math/{,py-}clingcon: update 5.2.0 → 5.2.1 | Yuri Victorovich | 2024-04-21 | 2 | -4/+4 |
* | math/clingcon: New port: Extension of clingo to handle constraints over integers | Yuri Victorovich | 2022-09-14 | 4 | -0/+41 |