Information for build eqp-09e-14.fc33
| ID | 150073 | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Package Name | eqp | |||||||||||
| Version | 09e | |||||||||||
| Release | 14.fc33 | |||||||||||
| Epoch | ||||||||||||
| Source | git+https://src.fedoraproject.org/rpms/eqp.git#c5002fc398a5704e35e8d9e6a7081469e2ad70c3 | |||||||||||
| Summary | Automated theorem prover for first-order equational logic | |||||||||||
| Description | EQP is an automated theorem proving program for first-order equational logic. Its strengths are good implementations of associative-commutative unification and matching, a variety of strategies for equational reasoning, and fast search. It seems to perform well on many problems about lattice-like structures. EQP is not a stable and polished production theorem prover like Otter or Prover9. Since it has obtained several interesting results, it was decided to make it available (including the source code) to everyone, with no restrictions (and of course no warranty either). EQP's documentation is not great, but if you already know Otter, you probably will not have great difficulty in learning to use EQP. In the early 1930's, it was postulated that every Robbin's Algebra, (named after Herbert Ellis Robbins), must also be a Boolean Algebra. Many human mathematicians attempted to find a proof, or a counter-example of this conjecture, but failed. The EQP automated theorem prover (and its author William McCune) made history by providing the first known proof in 1996. The EQP input files for proving Robbin's Conjecture can be found in the package documentation directory /usr/share/doc/eqp-09e/examples/robbins/ | |||||||||||
| Built by | davidlt | |||||||||||
| State | complete | |||||||||||
| Volume | DEFAULT | |||||||||||
| Started | Sat, 28 Mar 2020 01:14:47 UTC | |||||||||||
| Completed | Sat, 28 Mar 2020 01:33:02 UTC | |||||||||||
| Task | build (f33, /rpms/eqp.git:c5002fc398a5704e35e8d9e6a7081469e2ad70c3) | |||||||||||
| Extra | {'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/eqp.git#c5002fc398a5704e35e8d9e6a7081469e2ad70c3'}} | |||||||||||
| Tags |
|
|||||||||||
| RPMs |
|
|||||||||||
| Logs |
|
|||||||||||
| Changelog | * Wed Mar 18 2020 John C. Peterson <jcp@eskimo.com> - 09e-14 - Added a patch to remove a duplicate definition of the Clocks global variable * Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 09e-13 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Wed Jul 24 2019 Fedora Release Engineering <releng@fedoraproject.org> - 09e-12 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 09e-11 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Thu Jul 12 2018 Fedora Release Engineering <releng@fedoraproject.org> - 09e-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild |
