summaryrefslogtreecommitdiff
path: root/academic/z3
ModeNameSize
-rw-r--r--README561logplain
-rw-r--r--slack-desc1009logplain
-rw-r--r--z3.SlackBuild3859logplain
-rw-r--r--z3.info297logplain