summaryrefslogtreecommitdiff
path: root/math/z3 (follow)
Commit message (Expand)AuthorAgeFilesLines
* many ports: mark broken on powerpc64Steve Wills2016-04-211-0/+2
* Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.Mathieu Arnold2016-04-011-1/+1
* Port improvements and modernizationMark Felder2015-09-233-9/+22
* Z3 is a high-performance theorem prover developedMark Felder2015-09-225-0/+154