![]() |
Welcome to ftp.vim.org,
Hosted by ftp.nluug.nl Current directory: /ftp/os/Linux/distr/salix/sbo/14.1/academic/ladr/ |
Contents of README: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 26-Nov-2013 10:57 3.5K
ladr.info 26-Nov-2013 10:57 308
slack-desc 26-Nov-2013 10:57 810
NLUUG - Open Systems. Open Standards
Become a member
and get discounts on conferences and more, see the NLUUG website!