معرفی شرکت ها

spass_3.9-1.1_ppc64el.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

automated theorem prover for first-order logic with equality
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bookworm-12
مخزن Debian main ppc64el
نام بسته spass
نام فایل بسته spass_3.9-1.1_ppc64el.deb
نسخه بسته 3.9
انتشار بسته 1.1
معماری بسته ppc64el
نگهدارنده Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://www.mpi-inf.mpg.de/departments/automation-of-logic/software/spass-workbench/classic-spass-theorem-prover/
مجوز -
حجم دانلود 309048
حجم نصب 1106
SPASS is a saturation-based automated theorem prover for first-order logic with equality. It is unique due to the combination of the superposition calculus with specific inference/reduction rules for sorts (types) and a splitting rule for case analysis motivated by the beta-rule of analytic tableaux and the case analysis employed in the Davis-Putnam procedure. Furthermore, SPASS provides a sophisticated clause normal form translation. . This package consists of the SPASS/FLOTTER binary, documentation, and a small example collection. The tools collections contain the proof checker pcs, the syntax translators dfg2otter and dfg2tptp, and the ASCII pretty printer dfg2ascii.


جایگزین ها

بسته نسخه معماری مخزن
spass_3.9-1.1_amd64.deb 3.9 amd64 Debian main
spass_3.9-1.1_arm64.deb 3.9 arm64 Debian main
spass_3.9-1.1_armel.deb 3.9 armel Debian main
spass_3.9-1.1_armhf.deb 3.9 armhf Debian main
spass_3.9-1.1_i386.deb 3.9 i386 Debian main
spass_3.9-1.1_mips64el.deb 3.9 mips64el Debian main
spass_3.9-1.1_mipsel.deb 3.9 mipsel Debian main
spass_3.9-1.1_s390x.deb 3.9 s390x Debian main


نیازمندی

مقدار نام
>= 2.17 libc6


نحوه نصب


نصب پکیج deb spass:

    sudo apt-get install spass_3.9-1.1_ppc64el.deb


فایل ها

مسیرها
./usr/bin/SPASS
./usr/share/doc/spass/changelog.Debian.gz
./usr/share/doc/spass/copyright
./usr/share/lintian/overrides/spass
./usr/bin/FLOTTER -> SPASS