- Name: E
- Version: 1.0.002
- Release: 4.fc11
- Epoch:
- Group: Applications/Engineering
- License: GPLv2
- Url: http://www4.informatik.tu-muenchen.de/~schulz/WORK/eprover.html
- Summary: Equational Theorem Prover
- Architecture: i586
- Size: 2161134
- Distribution: Koji
- Vendor: Fedora Project
- Packager: Fedora Project
Description:
E is a purely equational theorem prover for full first-order logic.
That means it is a program that you can stuff a mathematical specification
(in first-order format) and a hypothesis into, and which will then run
forever, using up all of your machines' resources.
Very occasionally it will find a proof for the hypothesis and tell you so.
E's inference core is based on a modified version of the superposition
calculus for equational clausal logic. Both clausification and reasoning on
the clausal form can be documented in checkable proof objects.
E was the best-performing open source software prover in the 2008
CADE ATP System Competition (CASC) in the FOF, CNF, and UEQ divisions.
- OptFlags: -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i586 -mtune=generic -fasynchronous-unwind-tables
- Cookie:
- Buildhost: x86-6.fedora.phx.redhat.com
Sources packages:
Other version of this rpm: