eqp - Automated theorem prover for first-order equational logic

Property Value
Distribution Fedora 29
Repository Fedora i386
Package filename eqp-09e-10.fc29.i686.rpm
Package name eqp
Package version 09e
Package release 10.fc29
Package architecture i686
Package type rpm
Category Applications/Engineering
Homepage http://www.cs.unm.edu/~mccune/eqp/
License Public Domain
Maintainer -
Download size 101.95 KB
Installed size 231.83 KB
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


Package Version Architecture Repository
eqp-09e-10.fc29.x86_64.rpm 09e x86_64 Fedora
eqp - - -


Name Value
libc.so.6(GLIBC_2.4) -
rtld(GNU_HASH) -


Name Value
eqp = 09e-10.fc29
eqp(x86-32) = 09e-10.fc29


Type URL
Mirror download-ib01.fedoraproject.org
Binary Package eqp-09e-10.fc29.i686.rpm
Source Package eqp-09e-10.fc29.src.rpm

Install Howto

Install eqp rpm package:

# dnf install eqp




2018-07-12 - Fedora Release Engineering <releng@fedoraproject.org> - 09e-10
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
2018-02-09 - Igor Gnatenko <ignatenkobrain@fedoraproject.org> - 09e-9
- Escape macros in %changelog
2018-02-07 - Fedora Release Engineering <releng@fedoraproject.org> - 09e-8
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
2017-08-02 - Fedora Release Engineering <releng@fedoraproject.org> - 09e-7
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
2017-07-26 - Fedora Release Engineering <releng@fedoraproject.org> - 09e-6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
2017-03-20 - John C. Peterson <jcp@eskimo.com> - 09e-5
- Added copies of the emails I received from ANL to the LICENSE file
- Moved the LICENSE file from %doc to the new %license macro
- Added a %check section that runs some of the simple examples

See Also

Package Description
equalx-0.7.1-12.fc29.i686.rpm A graphical editor for writing LaTeX equations
erfa-1.4.0-4.fc29.i686.rpm Essential Routines for Fundamental Astronomy
erfa-devel-1.4.0-4.fc29.i686.rpm Development files for erfa
ergo-3.7-2.fc29.i686.rpm A program for large-scale self-consistent field calculations
ergo-doc-3.7-2.fc29.noarch.rpm Documentation for ergo
eric-18.08-1.fc29.noarch.rpm Python IDE
eris-1.3.23-14.fc29.i686.rpm Client-side session layer for Atlas-C++
eris-devel-1.3.23-14.fc29.i686.rpm Development files for Eris
erlang- General-purpose programming language and runtime environment
erlang-amf-0-0.19.20110224gitb36dfb6.fc29.i686.rpm Erlang Action Message Format Library
erlang-asn1- Provides support for Abstract Syntax Notation One
erlang-base64url-1.0-4.fc29.noarch.rpm URL safe base64-compatible codec
erlang-basho_metrics-1.0.0-36.fc29.i686.rpm Fast performance metrics for Erlang
erlang-basho_stats-1.0.4-6.fc29.i686.rpm Basic Erlang statistics library
erlang-bbmustache-1.6.0-1.fc29.noarch.rpm Binary pattern match-based Mustache template engine for Erlang