Index of /sites/download.salixos.org/x86_64/extra-15.0/source/academic/cvc4/?C=S&O=A

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