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

../
README                                             09-Nov-2024 05:58                 525
cvc4.SlackBuild                                    09-Nov-2024 05:58                3860
cvc4.info                                          09-Nov-2024 05:58                 427
run-antlr                                          09-Nov-2024 05:58                  67
slack-desc                                         09-Nov-2024 05:58                1025