aboutsummaryrefslogtreecommitdiff
path: root/math/glucose
Commit message (Expand)AuthorAgeFilesLines
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2018-12-121-1/+1
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2018-07-291-0/+1
* Adjust USES to fix building on gcc-based archs (in particular, powerpc64).Mark Linimon2018-06-021-1/+1
* New port: math/glucose: Parallel SAT solver based on Minisat, with glue clausesYuri Victorovich2018-02-035-0/+66