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

Current bandwidth utilization 1120.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                                   17-Mar-2022 18:33  174   
 ladr-libtoolize.diff                     27-May-2010 00:00   41K  
 ladr.SlackBuild                          11-Mar-2022 06:34  3.8K  
 ladr.info                                11-Mar-2022 06:34  314   
 slack-desc                               11-Mar-2022 06:34  806   

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