aboutsummaryrefslogtreecommitdiff
path: root/math/glucose/pkg-descr
Commit message (Expand)AuthorAgeFilesLines
* Remove WWW entries moved into port MakefilesStefan Eßer2022-09-071-2/+0
* New port: math/glucose: Parallel SAT solver based on Minisat, with glue clausesYuri Victorovich2018-02-031-0/+12