aboutsummaryrefslogtreecommitdiff
path: root/math/chuffed
Commit message (Expand)AuthorAgeFilesLines
* math/chuffed: Update 0.12.0 → 0.12.1Yuri Victorovich2023-06-222-4/+4
* math/chuffed: Update 0.10.4.20210104 → 0.12.0Yuri Victorovich2023-05-282-4/+4
* Remove WWW entries moved into port MakefilesStefan Eßer2022-09-071-2/+0
* Add WWW entries to port MakefilesStefan Eßer2022-09-071-0/+1
* math/chuffed: Update 0.10.4 -> 0.10.4.20210104 (devel branch)Yuri Victorovich2021-05-044-43/+54
* New port: math/chuffed: Lazy clause generation CP solver for MiniZincYuri Victorovich2021-05-034-0/+66