summaryrefslogtreecommitdiffstats
path: root/academic/cvc4
ModeNameSize
-rw-r--r--README525logstatsplainaboutblame
-rw-r--r--cvc4.SlackBuild3860logstatsplainaboutblame
-rw-r--r--cvc4.info426logstatsplainaboutblame
-rw-r--r--run-antlr67logstatsplainaboutblame
-rw-r--r--slack-desc1025logstatsplainaboutblame