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

../
README                                             27-Apr-2024 07:19                 525
cvc4.SlackBuild                                    27-Apr-2024 07:19                3860
cvc4.info                                          27-Apr-2024 07:19                 427
run-antlr                                          27-Apr-2024 07:19                  67
slack-desc                                         27-Apr-2024 07:19                1025