Welcome to ftp.vim.org, Hosted by ftp.nluug.nl Current directory: /ftp/os/Linux/distr/salix/i486/extra-15.0/source/academic/ladr/

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                                                                -   
 LADR-2009-11A.tar.gz                                       04-Jun-2022 05:15  1.7M  
 README                                                     04-Jun-2022 05:15  174   
 ladr-libtoolize.diff                                       27-May-2010 00:00   41K  
 ladr.SlackBuild                                            11-Mar-2022 06:34  3.8K  
 ladr.info                                                  04-Jun-2022 05:15  314   
 slack-desc                                                 04-Jun-2022 05:15  806   

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