summaryrefslogtreecommitdiffstats
path: root/academic/cvc4
ModeNameSize
-rw-r--r--README525logstatsplain
-rw-r--r--cvc4.SlackBuild3523logstatsplain
-rw-r--r--cvc4.info417logstatsplain
-rw-r--r--run-antlr67logstatsplain
-rw-r--r--slack-desc1025logstatsplain