معرفی شرکت ها

E-2.6-5.fc38.x86_64.rpm

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

Equational Theorem Prover
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 38
مخزن Fedora Everything x86_64
نام بسته E
نام فایل بسته E-2.6-5.fc38.x86_64.rpm
نسخه بسته 2.6
انتشار بسته 5.fc38
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Wed 18 Jan 2023 11
هاست سازنده buildvm-x86-28.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://www.eprover.org/
مجوز (GPL-2.0-or-later OR LGPL-2.1-or-later) AND OFL-1.1-RFN AND Knuth-CTAN AND GPL-1.0-or-later
حجم دانلود 1.6M
حجم نصب 9.762M
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.


جایگزین ها

بسته نسخه معماری مخزن
E-2.6-5.fc38.aarch64.rpm 2.6 aarch64 Fedora Everything
E-2.6-5.fc38.src.rpm 2.6 i686 Fedora Everything
E-debuginfo-2.6-5.fc38.aarch64.rpm 2.6 aarch64 Fedora Everything
E-debuginfo-2.6-5.fc38.x86_64.rpm 2.6 x86_64 Fedora Everything
E-debugsource-2.6-5.fc38.aarch64.rpm 2.6 aarch64 Fedora Everything
E-debugsource-2.6-5.fc38.x86_64.rpm 2.6 x86_64 Fedora Everything
EMBOSS-6.6.0-24.fc38.aarch64.rpm 6.6.0 aarch64 Fedora Everything
EMBOSS-6.6.0-24.fc38.src.rpm 6.6.0 i686 Fedora Everything
EMBOSS-6.6.0-24.fc38.x86_64.rpm 6.6.0 x86_64 Fedora Everything
EMBOSS-6.6.0-26.fc38.aarch64.rpm 6.6.0 aarch64 Fedora Everything
EMBOSS-6.6.0-26.fc38.src.rpm 6.6.0 i686 Fedora Everything
EMBOSS-6.6.0-26.fc38.x86_64.rpm 6.6.0 x86_64 Fedora Everything
EMBOSS-debuginfo-6.6.0-24.fc38.aarch64.rpm 6.6.0 aarch64 Fedora Everything
EMBOSS-debuginfo-6.6.0-24.fc38.i686.rpm 6.6.0 i686 Fedora Everything
EMBOSS-debuginfo-6.6.0-24.fc38.x86_64.rpm 6.6.0 x86_64 Fedora Everything
EMBOSS-debuginfo-6.6.0-26.fc38.aarch64.rpm 6.6.0 aarch64 Fedora Everything
EMBOSS-debuginfo-6.6.0-26.fc38.i686.rpm 6.6.0 i686 Fedora Everything
EMBOSS-debuginfo-6.6.0-26.fc38.x86_64.rpm 6.6.0 x86_64 Fedora Everything
EMBOSS-debugsource-6.6.0-24.fc38.aarch64.rpm 6.6.0 aarch64 Fedora Everything
EMBOSS-debugsource-6.6.0-24.fc38.i686.rpm 6.6.0 i686 Fedora Everything
EMBOSS-debugsource-6.6.0-24.fc38.x86_64.rpm 6.6.0 x86_64 Fedora Everything
EMBOSS-debugsource-6.6.0-26.fc38.aarch64.rpm 6.6.0 aarch64 Fedora Everything
EMBOSS-debugsource-6.6.0-26.fc38.i686.rpm 6.6.0 i686 Fedora Everything
EMBOSS-debugsource-6.6.0-26.fc38.x86_64.rpm 6.6.0 x86_64 Fedora Everything
EMBOSS-devel-6.6.0-24.fc38.aarch64.rpm 6.6.0 aarch64 Fedora Everything
EMBOSS-devel-6.6.0-24.fc38.i686.rpm 6.6.0 i686 Fedora Everything
EMBOSS-devel-6.6.0-24.fc38.x86_64.rpm 6.6.0 x86_64 Fedora Everything
EMBOSS-devel-6.6.0-26.fc38.aarch64.rpm 6.6.0 aarch64 Fedora Everything
EMBOSS-devel-6.6.0-26.fc38.i686.rpm 6.6.0 i686 Fedora Everything
EMBOSS-devel-6.6.0-26.fc38.x86_64.rpm 6.6.0 x86_64 Fedora Everything
EMBOSS-libs-6.6.0-24.fc38.aarch64.rpm 6.6.0 aarch64 Fedora Everything
EMBOSS-libs-6.6.0-24.fc38.i686.rpm 6.6.0 i686 Fedora Everything
EMBOSS-libs-6.6.0-24.fc38.x86_64.rpm 6.6.0 x86_64 Fedora Everything
EMBOSS-libs-6.6.0-26.fc38.aarch64.rpm 6.6.0 aarch64 Fedora Everything
EMBOSS-libs-6.6.0-26.fc38.i686.rpm 6.6.0 i686 Fedora Everything
EMBOSS-libs-6.6.0-26.fc38.x86_64.rpm 6.6.0 x86_64 Fedora Everything
EMBOSS-libs-debuginfo-6.6.0-24.fc38.aarch64.rpm 6.6.0 aarch64 Fedora Everything
EMBOSS-libs-debuginfo-6.6.0-24.fc38.i686.rpm 6.6.0 i686 Fedora Everything
EMBOSS-libs-debuginfo-6.6.0-24.fc38.x86_64.rpm 6.6.0 x86_64 Fedora Everything
EMBOSS-libs-debuginfo-6.6.0-26.fc38.aarch64.rpm 6.6.0 aarch64 Fedora Everything
EMBOSS-libs-debuginfo-6.6.0-26.fc38.i686.rpm 6.6.0 i686 Fedora Everything
EMBOSS-libs-debuginfo-6.6.0-26.fc38.x86_64.rpm 6.6.0 x86_64 Fedora Everything
ETL-1.5.1-3.fc38.src.rpm 1.5.1 i686 Fedora Everything
ETL-devel-1.5.1-3.fc38.aarch64.rpm 1.5.1 aarch64 Fedora Everything
ETL-devel-1.5.1-3.fc38.i686.rpm 1.5.1 i686 Fedora Everything
ETL-devel-1.5.1-3.fc38.x86_64.rpm 1.5.1 x86_64 Fedora Everything
EekBoek-2.051-5.fc38.noarch.rpm 2.051 noarch Fedora Everything
EekBoek-2.051-5.fc38.src.rpm 2.051 noarch Fedora Everything
EekBoek-db-postgresql-2.051-5.fc38.noarch.rpm 2.051 noarch Fedora Everything
EekBoek-gui-2.051-5.fc38.noarch.rpm 2.051 noarch Fedora Everything
ElectricFence-2.2.2-59.fc38.aarch64.rpm 2.2.2 aarch64 Fedora Everything
ElectricFence-2.2.2-59.fc38.i686.rpm 2.2.2 i686 Fedora Everything
ElectricFence-2.2.2-59.fc38.src.rpm 2.2.2 i686 Fedora Everything
ElectricFence-2.2.2-59.fc38.x86_64.rpm 2.2.2 x86_64 Fedora Everything
ElectricFence-debuginfo-2.2.2-59.fc38.aarch64.rpm 2.2.2 aarch64 Fedora Everything
ElectricFence-debuginfo-2.2.2-59.fc38.i686.rpm 2.2.2 i686 Fedora Everything
ElectricFence-debuginfo-2.2.2-59.fc38.x86_64.rpm 2.2.2 x86_64 Fedora Everything
ElectricFence-debugsource-2.2.2-59.fc38.aarch64.rpm 2.2.2 aarch64 Fedora Everything
ElectricFence-debugsource-2.2.2-59.fc38.i686.rpm 2.2.2 i686 Fedora Everything
ElectricFence-debugsource-2.2.2-59.fc38.x86_64.rpm 2.2.2 x86_64 Fedora Everything


نیازمندی

مقدار نام
- libc.so.6()(64bit)
- libc.so.6(GLIBC_2.14)(64bit)
- libc.so.6(GLIBC_2.15)(64bit)
- libc.so.6(GLIBC_2.2.5)(64bit)
- libc.so.6(GLIBC_2.3)(64bit)
- libc.so.6(GLIBC_2.3.4)(64bit)
- libc.so.6(GLIBC_2.33)(64bit)
- libc.so.6(GLIBC_2.34)(64bit)
- libc.so.6(GLIBC_2.4)(64bit)
- libm.so.6()(64bit)
- libm.so.6(GLIBC_2.2.5)(64bit)
- libm.so.6(GLIBC_2.29)(64bit)
- libpicosat-trace.so.0()(64bit)
- rtld(GNU_HASH)


ارائه دهنده

مقدار نام
= 2.6-5.fc38 E
= 2.6-5.fc38 E(x86-64)


نحوه نصب


نصب پکیج rpm E:

    dnf install E-2.6-5.fc38.x86_64.rpm


فایل ها

مسیرها
/usr/bin/checkproof
/usr/bin/e_axfilter
/usr/bin/e_deduction_server
/usr/bin/e_ltb_runner
/usr/bin/e_stratpar
/usr/bin/eground
/usr/bin/ekb_create
/usr/bin/ekb_delete
/usr/bin/ekb_ginsert
/usr/bin/ekb_insert
/usr/bin/epclextract
/usr/bin/eprover
/usr/lib/.build-id
/usr/lib/.build-id/4e
/usr/lib/.build-id/4e/7598499c232eafa6a1358ee5712c6b4d5f62ab
/usr/lib/.build-id/68
/usr/lib/.build-id/68/61af7246cfe453593d2c8c5a4dd483a332f16a
/usr/lib/.build-id/8d
/usr/lib/.build-id/8d/5d93d0069c87cc4b837600e5b22727de037431
/usr/lib/.build-id/90
/usr/lib/.build-id/90/9d0fa6af51b5c8d1406ff0284632c7e4fe36d6
/usr/lib/.build-id/92
/usr/lib/.build-id/92/680c2a8ec6961daaf18a4b89aeff1aa7bdd805
/usr/lib/.build-id/97
/usr/lib/.build-id/97/780dd66d56b8f5d9cd2ba37be25ebb324b2fad
/usr/lib/.build-id/9b
/usr/lib/.build-id/9b/7c84a185abc6d9ab9c12e6c8dca84d96cc1512
/usr/lib/.build-id/a9
/usr/lib/.build-id/a9/e037c08628c59d0f6891a7ad5b81dc25309187
/usr/lib/.build-id/b3
/usr/lib/.build-id/b3/79b34038a4d0dc092dad4b3dea3cf54ab89cd5
/usr/lib/.build-id/e5
/usr/lib/.build-id/e5/016a64ce5a3b926de5b866374b09e3235676ab
/usr/lib/.build-id/ea
/usr/lib/.build-id/ea/184001e47773506dcfa166f1a18b22a742b173
/usr/lib/.build-id/ef
/usr/lib/.build-id/ef/f631abdaafb748e686bc799933a87d28b533af
/usr/share/doc/E
/usr/share/doc/E/ANNOUNCE
/usr/share/doc/E/CONTRIBUTORS
/usr/share/doc/E/E-0.6.html
/usr/share/doc/E/E-0.62.html
/usr/share/doc/E/E-0.7.html
/usr/share/doc/E/E-0.8.html
/usr/share/doc/E/E-0.82.html
/usr/share/doc/E/E-0.99.html
/usr/share/doc/E/E-0.999.html
/usr/share/doc/E/E-1.0pre.html
/usr/share/doc/E/E-1.1pre.html
/usr/share/doc/E/E-1.2pre.html
... and 36 more


گزارش تغییرات

تاریخ آخرین تغییر جزئیات
2023-01-18

Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild

2022-08-16

Convert License tag to SPDX

2022-07-20

Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild

2022-01-19

Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild

2021-07-21

Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild

2021-07-01

Version 2.6

2021-01-25

Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild