summaryrefslogtreecommitdiff
path: root/academic/cvc4
ModeNameSize
-rw-r--r--README525logplain
-rw-r--r--cvc4.SlackBuild3860logplain
-rw-r--r--cvc4.info417logplain
-rw-r--r--run-antlr67logplain
-rw-r--r--slack-desc1025logplain