summaryrefslogtreecommitdiff
path: root/math/chuffed (follow)
Commit message (Expand)AuthorAgeFilesLines
* math/chuffed: update 0.13.0 → 0.13.1Yuri Victorovich2023-12-212-5/+4
* math/chuffed: Remove GH_TAGNAMEYuri Victorovich2023-11-053-4/+92
* math/chuffed: update 0.12.1 → 0.13.0Yuri Victorovich2023-11-052-4/+4
* math/chuffed: Update 0.12.0 → 0.12.1Yuri Victorovich2023-06-212-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-034-43/+54
* New port: math/chuffed: Lazy clause generation CP solver for MiniZincYuri Victorovich2021-05-034-0/+66