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


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