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

Current bandwidth utilization 168.42 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!