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

../
CVC4-1.8.tar.gz                                    03-Jun-2022 22:54      7M
README                                             03-Jun-2022 15:32     525
antlr-3.4-complete.jar                             21-Aug-2016 11:23      2M
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