معرفی شرکت ها

eqp-09e-20.fc38.aarch64.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Automated theorem prover for first-order equational logic
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 38
مخزن Fedora Everything aarch64
نام بسته eqp
نام فایل بسته eqp-09e-20.fc38.aarch64.rpm
نسخه بسته 09e
انتشار بسته 20.fc38
معماری بسته aarch64
نگهدارنده -
تاریخ ساخت Thu 19 Jan 2023 06
هاست سازنده buildvm-a64-14.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی http://www.cs.unm.edu/~mccune/eqp/
مجوز Public Domain
حجم دانلود 99K
حجم نصب 306.292K
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/


جایگزین ها

بسته نسخه معماری مخزن
eqp-09e-20.fc38.src.rpm 09e i686 Fedora Everything
eqp-09e-20.fc38.x86_64.rpm 09e x86_64 Fedora Everything
eqp-debuginfo-09e-20.fc38.aarch64.rpm 09e aarch64 Fedora Everything
eqp-debuginfo-09e-20.fc38.x86_64.rpm 09e x86_64 Fedora Everything
eqp-debugsource-09e-20.fc38.aarch64.rpm 09e aarch64 Fedora Everything
eqp-debugsource-09e-20.fc38.x86_64.rpm 09e x86_64 Fedora Everything


نیازمندی

مقدار نام
- ld-linux-aarch64.so.1()(64bit)
- ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)
- libc.so.6()(64bit)
- libc.so.6(GLIBC_2.17)(64bit)
- libc.so.6(GLIBC_2.34)(64bit)
- rtld(GNU_HASH)


ارائه دهنده

مقدار نام
= 09e-20.fc38 eqp
= 09e-20.fc38 eqp(aarch-64)


نحوه نصب


نصب پکیج rpm eqp:

    dnf install eqp-09e-20.fc38.aarch64.rpm


فایل ها

مسیرها
/usr/bin/eqp
/usr/lib/.build-id
/usr/lib/.build-id/d7
/usr/lib/.build-id/d7/ad0840ca5026e41e2bb5d2ebc5ec795e00dc0d
/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


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

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

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

2022-07-21

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

2022-01-20

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

2021-07-21

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

2021-01-26

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