Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | math/{,py-}clingcon: update 5.2.0 → 5.2.1 | Yuri Victorovich | 2024-04-20 | 2 | -4/+4 |
* | math/clingcon: New port: Extension of clingo to handle constraints over integers | Yuri Victorovich | 2022-09-13 | 4 | -0/+41 |
![]() |
index : freebsd/ports.git | |
Unnamed repository; edit this file 'description' to name the repository. | git |
summaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | math/{,py-}clingcon: update 5.2.0 → 5.2.1 | Yuri Victorovich | 2024-04-20 | 2 | -4/+4 |
* | math/clingcon: New port: Extension of clingo to handle constraints over integers | Yuri Victorovich | 2022-09-13 | 4 | -0/+41 |