aboutsummaryrefslogtreecommitdiff
path: root/math/eprover
Commit message (Expand)AuthorAgeFilesLines
* Remove compatibility code for FreeBSD < 11.2 from all ports.Rene Ladan2018-11-021-11/+1
* Update llvm dependency (for 10.x support) to llvm60.Brooks Davis2018-09-121-4/+5
* New port: math/eprover : Theorem prover for full first-order logic with equalityYuri Victorovich2017-11-196-0/+118