Index of /x86_64/extra-15.0/source/academic/cvc4/

../
CVC4-1.8.tar.gz                                    03-Jun-2022 22:54             7547187
README                                             03-Jun-2022 15:32                 525
antlr-3.4-complete.jar                             21-Aug-2016 11:23             2388361
cvc4.SlackBuild                                    11-Mar-2022 05:34                3860
cvc4.info                                          03-Jun-2022 15:32                 426
run-antlr                                          03-Jun-2022 15:32                  67
slack-desc                                         03-Jun-2022 15:32                1025