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

Current bandwidth utilization 2028.50 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                              14-Jun-2018 16:00  3.5K  
 ladr.info                                    06-Oct-2018 02:30  310   
 slack-desc                                   06-Oct-2018 02:30  806   

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