aboutsummaryrefslogtreecommitdiff
path: root/math/boolector
Commit message (Expand)AuthorAgeFilesLines
* math/boolector: update 3.2.2 → 3.2.3Yuri Victorovich2023-11-053-45/+7
* math/cadical: Update 1.5.3 → 1.6.0Yuri Victorovich2023-06-251-1/+1
* math/boolector: Add and correct dependenciesYuri Victorovich2023-01-041-3/+9
* Remove WWW entries moved into port MakefilesStefan Eßer2022-09-071-2/+0
* Add WWW entries to port MakefilesStefan Eßer2022-09-071-0/+1
* math/boolector: Add CPE informationBernhard Froehlich2021-09-211-1/+3
* math/boolector: Update 3.2.1 -> 3.2.2Yuri Victorovich2021-06-023-9/+10
* One more small cleanup, forgotten yesterday.Mathieu Arnold2021-04-071-1/+0
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
* math/boolector: Update 3.2.0 -> 3.2.1Yuri Victorovich2020-03-262-4/+4
* math/boolector: Update 3.1.0 -> 3.2.0Yuri Victorovich2020-02-082-6/+9
* 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