Information for build E-0.999.006-2.fc8
| ID | 60588 | ||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Package Name | E | ||||||||||||||||||||||||||||
| Version | 0.999.006 | ||||||||||||||||||||||||||||
| Release | 2.fc8 | ||||||||||||||||||||||||||||
| Epoch | |||||||||||||||||||||||||||||
| Summary | Equational Theorem Prover | ||||||||||||||||||||||||||||
| 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. | ||||||||||||||||||||||||||||
| Built by | dwheeler | ||||||||||||||||||||||||||||
| State | complete | ||||||||||||||||||||||||||||
| Volume | fedora_koji_archive00 | ||||||||||||||||||||||||||||
| Started | Thu, 28 Aug 2008 14:31:47 UTC | ||||||||||||||||||||||||||||
| Completed | Thu, 28 Aug 2008 14:37:55 UTC | ||||||||||||||||||||||||||||
| Task | build (dist-f8-updates-candidate, /cvs/pkgs:rpms/E/F-8:E-0_999_006-2_fc8) | ||||||||||||||||||||||||||||
| Tags |
|
||||||||||||||||||||||||||||
| RPMs |
|
||||||||||||||||||||||||||||
| Logs |
|
||||||||||||||||||||||||||||
| Changelog | * Sat Aug 16 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) * Sat Aug 16 2008 David A. Wheeler <dwheeler at, dwheeler.com> 0.999.006-1 - Initial package |
