معرفی شرکت ها

eprover_2.6+ds-3_s390x.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Equational theorem prover
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bookworm-12
مخزن Debian main s390x
نام بسته eprover
نام فایل بسته eprover_2.6+ds-3_s390x.deb
نسخه بسته 2.6+ds
انتشار بسته 3
معماری بسته s390x
نگهدارنده Debian Math Team <team+math@tracker.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://eprover.org
مجوز -
حجم دانلود 910184
حجم نصب 13735
This package provides tools to prove equational theorems: from a mathematical specification in many-sorted first-order logic with equality and an hypothesis/conjecture, it will look for a proof.


جایگزین ها

بسته نسخه معماری مخزن
eprover_2.6+ds-3_amd64.deb 2.6+ds amd64 Debian main
eprover_2.6+ds-3_arm64.deb 2.6+ds arm64 Debian main
eprover_2.6+ds-3_armel.deb 2.6+ds armel Debian main
eprover_2.6+ds-3_armhf.deb 2.6+ds armhf Debian main
eprover_2.6+ds-3_i386.deb 2.6+ds i386 Debian main
eprover_2.6+ds-3_mips64el.deb 2.6+ds mips64el Debian main
eprover_2.6+ds-3_mipsel.deb 2.6+ds mipsel Debian main
eprover_2.6+ds-3_ppc64el.deb 2.6+ds ppc64el Debian main


نیازمندی

مقدار نام
>= 2.33 libc6
>= 959 picosat


نحوه نصب


نصب پکیج deb eprover:

    sudo apt-get install eprover_2.6+ds-3_s390x.deb


فایل ها

مسیرها
./bin/checkproof
./bin/e_axfilter
./bin/e_deduction_server
./bin/e_ltb_runner
./bin/e_stratpar
./bin/eground
./bin/ekb_create
./bin/ekb_delete
./bin/ekb_ginsert
./bin/ekb_insert
./bin/epclextract
./bin/eprover
./usr/share/doc/eprover/changelog.Debian.gz
./usr/share/doc/eprover/copyright
./usr/share/man/man1/checkproof.1.gz
./usr/share/man/man1/e_axfilter.1.gz
./usr/share/man/man1/e_deduction_server.1.gz
./usr/share/man/man1/e_ltb_runner.1.gz
./usr/share/man/man1/e_stratpar.1.gz
./usr/share/man/man1/eground.1.gz
./usr/share/man/man1/ekb_create.1.gz
./usr/share/man/man1/ekb_delete.1.gz
./usr/share/man/man1/ekb_ginsert.1.gz
./usr/share/man/man1/ekb_insert.1.gz
./usr/share/man/man1/epclextract.1.gz
./usr/share/man/man1/eprover.1.gz