- Name: prover9-doc
- Version: 200911a
- Release: 1.fc14
- Epoch:
- Group: Documentation
- License: GPLv2 and GPLv2+
- Url: http://www.cs.unm.edu/~mccune/prover9/
- Summary: LADR Deduction Library - Documentation
- Architecture: i686
- Size: 321043
- Distribution: Fedora Project
- 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-18.phx2.fedoraproject.org
Sources packages:
Other version of this rpm:
