| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: E | Distribution: Unknown |
| Version: 0.999.006 | Vendor: Fedora Project |
| Release: 2.fc8 | Build date: Thu Aug 28 16:37:14 2008 |
| Group: Applications/Engineering | Build host: ppc2.fedora.redhat.com |
| Size: 2329306 | Source RPM: E-0.999.006-2.fc8.src.rpm |
| Packager: Fedora Project | |
| Url: http://www4.informatik.tu-muenchen.de/~schulz/WORK/eprover.html | |
| Summary: Equational Theorem Prover | |
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.
GPLv2
internal MD5: 0f3228655227eeabb1eabb52f2e51898
GPG
* Sun Aug 17 2008 David A. Wheeler <dwheeler at, dwheeler.com> 0.999.006-2 - Change executable permissions from 0775 to 0755 - Use compilation switches (e.g., -O2 instead of pointless -O6, and use -g) * Sun Aug 17 2008 David A. Wheeler <dwheeler at, dwheeler.com> 0.999.006-1 - Initial package
ü
Generated by rpm2html 1.8.1
Daniel Veillard, Fri Nov 13 05:41:40 2009