summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/z3: Thanks to Yichao Zhou, jlec and slyfox for developmentMark Wright2017-01-021-0/+22