aboutsummaryrefslogtreecommitdiffstats
path: root/math/z3/distinfo
Commit message (Expand)AuthorAgeFilesLines
* Port improvements and modernizationfeld2015-09-231-2/+2
* Z3 is a high-performance theorem prover developedfeld2015-09-221-0/+2