- Name: prover9-doc
- Version: 200805a
- Release: 6.fc12
- Epoch:
- Group: Documentation
- License: GPLv2 and GPLv2+
- Url: http://www.cs.unm.edu/~mccune/prover9/
- Summary: LADR Deduction Library - Documentation
- Architecture: i686
- Size: 297670
- Distribution: Koji
- Vendor: Fedora Project
- Packager: Fedora Project
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.
- OptFlags: -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables
- Cookie:
- Buildhost: x86-4.fedora.phx.redhat.com
Sources packages:
Other version of this rpm: