aboutsummaryrefslogtreecommitdiff
path: root/math/chuffed
Commit message (Expand)AuthorAgeFilesLines
* 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