Wed, 11 Nov 2026 16:31:14 UTC Log in

E-3.5.1-2.fc45.riscv64.rpm

riscv64
Equational Theorem Prover 1.72 MB built 2026-10-12 09:40:34 GMT
Build 319

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. In the 2011 competition, it won second place in the FOF division, and placed highly in CNF and UEQ.

Dependencies

17 total
Requires15
  • ld-linux-riscv64-lp64d.so.1()(64bit)
  • ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit)
  • libc.so.6()(64bit)
  • libc.so.6(GLIBC_2.27)(64bit)
  • libc.so.6(GLIBC_2.33)(64bit)
  • libc.so.6(GLIBC_2.34)(64bit)
  • libc.so.6(GLIBC_2.38)(64bit)
  • libm.so.6()(64bit)
  • libm.so.6(GLIBC_2.27)(64bit)
  • libpicosat-trace.so.0()(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)
Provides2
  • E = 3.5.1-2.fc45
  • E(riscv-64) = 3.5.1-2.fc45
ObsoletesNo Obsoletes
ConflictsNo Conflicts
RecommendsNo Recommends
SuggestsNo Suggests
SupplementsNo Supplements
EnhancesNo Enhances

Files

88
Name ascending sort Size
/usr/bin/checkproof 436.07 KB
/usr/bin/e_axfilter 528.48 KB
/usr/bin/e_deduction_server 532.06 KB
/usr/bin/e_ltb_runner 524.33 KB
/usr/bin/e_stratpar 48.88 KB
/usr/bin/eground 524.01 KB
/usr/bin/ekb_create 65.23 KB
/usr/bin/ekb_delete 436.02 KB
/usr/bin/ekb_ginsert 464.83 KB
/usr/bin/ekb_insert 436.12 KB
/usr/bin/epclextract 406.84 KB
/usr/bin/eprover 3.26 MB
/usr/lib/.build-id 0.00 B
/usr/lib/.build-id/06 0.00 B
/usr/lib/.build-id/06/cbb9f5a7d4df1f297a8a9506524f93f970e4b8 30.00 B
/usr/lib/.build-id/19 0.00 B
/usr/lib/.build-id/19/11b1ac3215965b0b449b934b03d59eaa793734 38.00 B
/usr/lib/.build-id/1c 0.00 B
/usr/lib/.build-id/1c/0a48fe694e10aa465da54af4ed375f29226ed6 27.00 B
/usr/lib/.build-id/2f 0.00 B
/usr/lib/.build-id/2f/eabe1040ee52b0164ca97244e3910bdd728778 30.00 B
/usr/lib/.build-id/38 0.00 B
/usr/lib/.build-id/38/570d18488db14457a3b083193d92bd52b5f315 32.00 B
/usr/lib/.build-id/59 0.00 B
/usr/lib/.build-id/59/b4ce166ab3d5126e9e7500df8d9321b2f68207 30.00 B
/usr/lib/.build-id/70 0.00 B
/usr/lib/.build-id/70/5d4bcb473c4d23338ed72d7e72b2a9988fa725 31.00 B
/usr/lib/.build-id/70/cb949d4e4a5d89145c285f3ee393f2367a2667 30.00 B
/usr/lib/.build-id/7a 0.00 B
/usr/lib/.build-id/7a/4cdc5ddad46833fe781fa33a8f66f9003823db 27.00 B
/usr/lib/.build-id/b1 0.00 B
/usr/lib/.build-id/b1/9156c986e30dd9b145aa0e64a13d0ee7429a54 31.00 B
/usr/lib/.build-id/b4 0.00 B
/usr/lib/.build-id/b4/6e6fcdffe5a27d968ed34d55e9b45619f53ff6 30.00 B
/usr/lib/.build-id/bb 0.00 B
/usr/lib/.build-id/bb/64c1379af6bed4da012575bcf5922a124fe98d 30.00 B
/usr/share/doc/E 0.00 B
/usr/share/doc/E/ANNOUNCE 78.31 KB
/usr/share/doc/E/CONTRIBUTORS 987.00 B
/usr/share/doc/E/E-0.6.html 3.14 KB
/usr/share/doc/E/E-0.62.html 4.00 KB
/usr/share/doc/E/E-0.7.html 5.95 KB
/usr/share/doc/E/E-0.8.html 5.91 KB
/usr/share/doc/E/E-0.82.html 6.57 KB
/usr/share/doc/E/E-0.99.html 6.63 KB
/usr/share/doc/E/E-0.999.html 6.62 KB
/usr/share/doc/E/E-1.0pre.html 6.69 KB
/usr/share/doc/E/E-1.1pre.html 6.72 KB
/usr/share/doc/E/E-1.2pre.html 6.95 KB
/usr/share/doc/E/E-1.4pre.html 5.07 KB
Files 1–50 of 88 Next →
of 2

Component of

buildroots that installed this RPM

No Buildroots