aboutsummaryrefslogtreecommitdiff
path: root/math/boolector
Commit message (Expand)AuthorAgeFilesLines
* math/boolector: Update 3.0.0-239 -> 3.1.0Yuri Victorovich2019-12-045-25/+36
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2019-07-261-0/+1
* math/boolector: Add USES=compiler:c++11-langYuri Victorovich2019-06-141-1/+1
* New port: math/boolector: Satisfiability Modulo Theories (SMT) solverYuri Victorovich2019-06-146-0/+79