aboutsummaryrefslogtreecommitdiff
path: root/academic/z3
AgeCommit message (Collapse)Author
2020-01-12academic/z3: Updated for version 4.8.7.Nick Smallbone
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2019-03-23academic/z3: Added (theorem solver).Nick Smallbone
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>