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

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 CVC4-1.8.tar.gz                                    2022-06-04 06:54  7.2M  
 slack-desc                                         2022-06-03 23:32  1.0K  
 run-antlr                                          2022-06-03 23:32   67   
 README                                             2022-06-03 23:32  525   
 cvc4.info                                          2022-06-03 23:32  426   
 cvc4.SlackBuild                                    2022-03-11 13:34  3.8K  
 antlr-3.4-complete.jar                             2016-08-21 19:23  2.3M