![]() |
Welcome to ftp.nluug.nl Current directory: /pub/os/Linux/distr/salix/x86_64/extra-15.0/source/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 -
LADR-2009-11A.tar.gz 04-Jun-2022 05:15 1.7M
README 03-Jun-2022 21:49 174
ladr-libtoolize.diff 27-May-2010 00:00 41K
ladr.SlackBuild 11-Mar-2022 06:34 3.8K
ladr.info 03-Jun-2022 21:49 314
slack-desc 03-Jun-2022 21:49 806
NLUUG - Open Systems. Open Standards
Become a member
and get discounts on conferences and more, see the NLUUG website!