summaryrefslogtreecommitdiff
path: root/academic/z3
ModeNameSize
-rw-r--r--README403logplain
-rw-r--r--slack-desc1009logplain
-rw-r--r--z3.SlackBuild3733logplain
-rw-r--r--z3.info300logplain