prover9-doc - LADR Deduction Library - Documentation
| Website: | http://www.cs.unm.edu/~mccune/prover9/ |
|---|---|
| License: | GPLv2 and GPLv2+ |
| Vendor: | Fedora Project <http://bugzilla.redhat.com/bugzilla> |
- Description:
Prover9 is an automated theorem prover for first-order and equational logic. It is a successor of the Otter prover. Prover9 uses the inference techniques of ordered resolution and paramodulation with literal selection. This package provides documentation for Prover9, Mace4 and other associated programs.
Packages
| prover9-doc-200805a-4.el5.i386 [81 KiB] |
Changelog
by Tim Colles (2008-07-09):
- exclude ppc64 architecture as test2 fails |