Index of /hourly.0/repo/i486/extra-15.0/source/academic/cvc4/


../
CVC4-1.8.tar.gz                                    03-Jun-2022 22:54             7547187
README                                             03-Jun-2022 22:54                 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 22:54                 426
run-antlr                                          03-Jun-2022 22:54                  67
slack-desc                                         03-Jun-2022 22:54                1025