aboutsummaryrefslogtreecommitdiffstats
path: root/math/glucose
Commit message (Expand)AuthorAgeFilesLines
* Adjust USES to fix building on gcc-based archs (in particular, powerpc64).linimon2018-06-031-1/+1
* New port: math/glucose: Parallel SAT solver based on Minisat, with glue clausesyuri2018-02-045-0/+66