aboutsummaryrefslogtreecommitdiff
path: root/math/chuffed/pkg-descr
Commit message (Expand)AuthorAgeFilesLines
* Remove WWW entries moved into port MakefilesStefan Eßer2022-09-071-2/+0
* New port: math/chuffed: Lazy clause generation CP solver for MiniZincYuri Victorovich2021-05-031-0/+3