summaryrefslogtreecommitdiffstats
path: root/academic/cvc4
ModeNameSize
-rw-r--r--README384logstatsplainaboutblame
-rw-r--r--cvc4.SlackBuild3119logstatsplainaboutblame
-rw-r--r--cvc4.info405logstatsplainaboutblame
-rw-r--r--run-antlr67logstatsplainaboutblame
-rw-r--r--slack-desc1026logstatsplainaboutblame