summaryrefslogtreecommitdiff
path: root/academic/cvc4
ModeNameSize
-rw-r--r--README384logplain
-rw-r--r--cvc4.SlackBuild3119logplain
-rw-r--r--cvc4.info405logplain
-rw-r--r--run-antlr67logplain
-rw-r--r--slack-desc1026logplain