SlackBuilds Repository

13.0 > Academic > ladr (2009_11A)

LADR includes some mathematical programs like
- prover 9 (automated theorem prover for first-order and equational logic)
- mace4 (search for finite models and counterexamples)

Maintained by: Heinz Wiesinger
Approved by: Erik Hanson
Keywords: otter,prover9,mace4,math

Homepage:
http://www.cs.unm.edu/~mccune/prover9/

Source Downloads:
LADR-2009-11A.tar.gz (ab409f31ecbb4410b1c7d75deadea2c6)

Download SlackBuild:
ladr.tar.gz
ladr.tar.gz.asc (FAQ)

(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.

Access to the repository is available via:
ftp git cgit http rsync

[  Exec: 0.0282 sec  |  Load: 0.16 0.14 0.19  ]

© 2006-2014 SlackBuilds.org Project. All rights reserved.
Slackware® is a registered trademark of Patrick Volkerding
Linux® is a registered trademark of Linus Torvalds
Web Design by WebSight Designs |  Managed Hosting by OnyxLight Communications