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

../
README                                             31-Aug-2024 06:08                 525
cvc4.SlackBuild                                    31-Aug-2024 06:08                3860
cvc4.info                                          31-Aug-2024 06:08                 427
run-antlr                                          31-Aug-2024 06:08                  67
slack-desc                                         31-Aug-2024 06:08                1025