Welcome to ftp.nluug.nl Current directory: /os/Linux/distr/salix/sbo/14.0/academic/ladr/

Current bandwidth utilization 2251.01 Mbit/s

LADR includes some mathematical programs like
 - prover 9 (automated theorem prover for first-order and equational logic)
 - mace4 (search for finite models and counterexamples)

 Name                                     Last modified      Size  
 Parent Directory                                              -   
 README                                   27-May-2010 06:51  178   
 ladr-libtoolize.diff                     27-May-2010 00:00   41K  
 ladr.SlackBuild                          16-Jun-2010 00:00  3.6K  
 ladr.info                                29-Sep-2012 06:34  308   
 slack-desc                               29-Sep-2012 06:34  780   

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