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

Current bandwidth utilization 2196.67 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 00:00  178   
 ladr-libtoolize.diff                          27-May-2010 00:00   41K  
 ladr.SlackBuild                               16-Jun-2010 00:00  3.6K  
 ladr.info                                     27-May-2010 00:00  319   
 slack-desc                                    27-May-2010 00:00  781   

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