aboutsummaryrefslogtreecommitdiff
path: root/math/glucose
Commit message (Expand)AuthorAgeFilesLines
* One more small cleanup, forgotten yesterday.Mathieu Arnold2021-04-071-1/+0
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2019-07-261-1/+1
* 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