Welcome to ftp.nluug.nl Current directory: /ftp/os/Linux/distr/salix/sbo/14.2/academic/cvc4/?C=S&O=A

Current bandwidth utilization 2114.91 Mbit/s

 Name                                         Last modified      Size  
 Parent Directory                                                  -   
 run-antlr                                    27-Apr-2019 03:31   67   
 cvc4.info                                    05-Sep-2020 03:31  417   
 README                                       05-Sep-2020 03:31  525   
 slack-desc                                   12-Jan-2020 02:55  1.0K  
 cvc4.SlackBuild                              05-Sep-2020 03:31  3.4K  

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