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

Current bandwidth utilization 1431.18 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                                   26-Nov-2013 10:57  178   
 ladr-libtoolize.diff                     27-May-2010 00:00   41K  
 ladr.SlackBuild                          26-Nov-2013 10:57  3.5K  
 ladr.info                                26-Nov-2013 10:57  308   
 slack-desc                               26-Nov-2013 10:57  810   

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