aboutsummaryrefslogtreecommitdiff
path: root/academic/z3/slack-desc
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