Welcome to ftp.vim.org, Hosted by ftp.nluug.nl Current directory: /ftp/os/Linux/distr/salix/i486/extra-15.0/source/academic/cvc4/?C=M;O=A

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

NLUUG - Open Systems. Open Standards
Become a member and get discounts on conferences and more, see the NLUUG website!