aboutsummaryrefslogtreecommitdiff
path: root/academic/z3/z3.info
AgeCommit message (Expand)Author
2020-01-12academic/z3: Updated for version 4.8.7.Nick Smallbone
2019-03-23academic/z3: Added (theorem solver).Nick Smallbone