aboutsummaryrefslogtreecommitdiff
path: root/academic/z3
ModeNameSize
-rw-r--r--README561logplain
-rw-r--r--slack-desc1009logplain
-rw-r--r--z3.SlackBuild3536logplain
-rw-r--r--z3.info285logplain