aboutsummaryrefslogtreecommitdiffstats
path: root/math/z3
Commit message (Expand)AuthorAgeFilesLines
* many ports: mark broken on powerpc64swills2016-04-221-0/+2
* Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.mat2016-04-011-1/+1
* Port improvements and modernizationfeld2015-09-233-9/+22
* Z3 is a high-performance theorem prover developedfeld2015-09-225-0/+154