eqp-09e-19.fc37 RPM for x86_64

From Fedora 37 for x86_64 / e

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/

Provides

• eqp
• eqp(x86-64)

Requires

• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.14)(64bit)
• libc.so.6(GLIBC_2.2.5)(64bit)
• libc.so.6(GLIBC_2.3.4)(64bit)
• libc.so.6(GLIBC_2.34)(64bit)
• libc.so.6(GLIBC_2.4)(64bit)
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1
• rtld(GNU_HASH)

License

Public Domain

Changelog

* Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 09e-19
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 09e-18
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 09e-17
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 09e-16
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
* Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 09e-15
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild

Files

/usr/bin/eqp
/usr/lib/.build-id
/usr/lib/.build-id/03
/usr/lib/.build-id/03/d86e7f7351e7a61818c332ba2b543005a9db10
/usr/share/doc/eqp
/usr/share/doc/eqp/ChangeLog
/usr/share/doc/eqp/Manual.txt
/usr/share/doc/eqp/README
/usr/share/doc/eqp/basic.doc
/usr/share/doc/eqp/examples
/usr/share/doc/eqp/examples/33-basic
/usr/share/doc/eqp/examples/33-basic/DUAL-BA-5a.in
/usr/share/doc/eqp/examples/33-basic/DUAL-BA-5c.in
/usr/share/doc/eqp/examples/33-basic/LT-2.in
/usr/share/doc/eqp/examples/33-basic/LT-5.in
/usr/share/doc/eqp/examples/33-basic/LT-6.in
/usr/share/doc/eqp/examples/33-basic/LT-8.in
/usr/share/doc/eqp/examples/33-basic/QLT-1.in
/usr/share/doc/eqp/examples/33-basic/QLT-2.in
/usr/share/doc/eqp/examples/33-basic/QLT-3.in
/usr/share/doc/eqp/examples/33-basic/QLT-4.in
/usr/share/doc/eqp/examples/33-basic/QLT-5.in
/usr/share/doc/eqp/examples/33-basic/QLT-6.in
/usr/share/doc/eqp/examples/33-basic/RBA-2.in
/usr/share/doc/eqp/examples/README
/usr/share/doc/eqp/examples/ortholattice
/usr/share/doc/eqp/examples/ortholattice/e2.in
/usr/share/doc/eqp/examples/ortholattice/e3.in
/usr/share/doc/eqp/examples/ring
/usr/share/doc/eqp/examples/ring/x2.in
/usr/share/doc/eqp/examples/ring/x3.in
/usr/share/doc/eqp/examples/robbins
/usr/share/doc/eqp/examples/robbins/eqp-lemma0.in
/usr/share/doc/eqp/examples/robbins/eqp-lemma1.in
/usr/share/doc/eqp/examples/robbins/eqp-lemma2.in
/usr/share/doc/eqp/examples/robbins/eqp-lemma3.in
/usr/share/licenses/eqp
/usr/share/licenses/eqp/LICENSE

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Apr 9 20:33:48 2024