| 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 |