LADR includes some mathematical programs like
- prover 9 (automated theorem prover for first-order and equational logic)
- mace4 (search for finite models and counterexamples)
Approved by: Michiel
Maintained by: ppr:kut
Homepage:
http://www.cs.unm.edu/~mccune/prover9/
Download Source:
LADR-2008-09A.tar.gz
Source MD5SUM:
96cc67eae8f485c22d01449fd2639dae
Download SlackBuild:
ladr.tar.gz
ladr.tar.gz.asc (what is this?)
(the SlackBuild does not include the source)
| Individual Files: |
| • README |
| • ladr-libtoolize.diff |
| • ladr.SlackBuild |
| • ladr.info |
| • slack-desc |
See our HOWTO for instructions on how to use the contents of this repository.
Anonymous FTP Access to Repository: ftp://ftp.slackbuilds.org
Access via rsync is also available.
rsync://rsync.slackbuilds.org/slackbuilds
© 2006-2009
SlackBuilds.org Project. All rights reserved.
Slackware® is a registered trademark of
Patrick Volkerding
Linux® is a registered trademark of
Linus Torvalds
Valid XHTML
and
CSS by
WebSight Designs | Hosting by
OnyxLight Communications