Index of /slackware/sbo/local/14.2/academic/cvc4/

../
README                                             16-Jan-2022 10:36                 525
cvc4.SlackBuild                                    16-Jan-2022 10:36                3523
cvc4.info                                          16-Jan-2022 10:36                 417
run-antlr                                          16-Jan-2022 10:36                  67
slack-desc                                         16-Jan-2022 10:36                1025