Index of /salix/sbo/15.0/academic/cvc4/

../
README                                             11-Mar-2022 05:34     525
cvc4.SlackBuild                                    11-Mar-2022 05:34    3860
cvc4.info                                          02-Dec-2023 00:59     427
run-antlr                                          11-Mar-2022 05:34      67
slack-desc                                         11-Mar-2022 05:34    1025