summaryrefslogtreecommitdiffstats
path: root/academic/cvc4
ModeNameSize
-rw-r--r--README384logstatsplain
-rw-r--r--cvc4.SlackBuild3119logstatsplain
-rw-r--r--cvc4.info405logstatsplain
-rw-r--r--run-antlr67logstatsplain
-rw-r--r--slack-desc1025logstatsplain