[NLUUG]   Welcome to ftp.nluug.nl
Current directory: /ftp/os/Linux/distr/salix/sbo/14.2/academic/cvc4/?C=S&O=A
 
Current bandwidth utilization 1557.56 Mbit/s
Bandwidth utilization bar

Icon  Name                                         Last modified      Size  
[DIR] Parent Directory - [   ] run-antlr 27-Apr-2019 03:31 67 [   ] cvc4.info 05-Sep-2020 03:31 417 [TXT] README 05-Sep-2020 03:31 525 [TXT] slack-desc 12-Jan-2020 02:55 1.0K [TXT] 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!