معرفی شرکت ها

spass_3.7-4_amd64.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
توزیع Ubuntu Bionic-18.04
مخزن Ubuntu universe amd64
نام بسته spass
نام فایل بسته spass_3.7-4_amd64.deb
نسخه بسته 3.7
انتشار بسته 4
معماری بسته amd64
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://www.mpi-inf.mpg.de/departments/automation-of-logic/software/spass-workbench/classic-spass-theorem-prover/
مجوز -
حجم دانلود 1003264
حجم نصب 3849
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.7-4_i386.deb 3.7 i386 Ubuntu universe


نیازمندی

مقدار نام
>= 1.15.4 dpkg
>= 2.14 libc6


نحوه نصب


نصب پکیج deb spass:

    sudo apt-get install spass_3.7-4_amd64.deb


فایل ها

مسیرها
./usr/bin/SPASS
./usr/bin/dfg2ascii
./usr/bin/dfg2dfg
./usr/bin/dfg2otter
./usr/bin/dfg2otter.pl
./usr/bin/dfg2tptp
./usr/bin/tptp2dfg
./usr/share/doc/spass/README
./usr/share/doc/spass/VERSIONHISTORY.gz
./usr/share/doc/spass/changelog.Debian.gz
./usr/share/doc/spass/copyright
./usr/share/doc/spass/examples/problem54.dfg
./usr/share/doc/spass/handbook-spass.pdf.gz
./usr/share/doc/spass/spass-input-syntax.pdf.gz
./usr/share/doc/spass/tutorial.pdf.gz
./usr/share/lintian/overrides/spass
./usr/share/man/man1/SPASS.1.gz
./usr/share/man/man1/dfg2ascii.1.gz
./usr/share/man/man1/dfg2dfg.1.gz
./usr/share/man/man1/dfg2otter.1.gz
./usr/share/man/man1/dfg2otter.pl.1.gz
./usr/share/man/man1/dfg2tptp.1.gz
./usr/share/man/man1/tptp2dfg.1.gz
./usr/share/man/pl/man1/dfg2otter.1.gz
./usr/bin/FLOTTER -> SPASS
./usr/share/man/man1/FLOTTER.1.gz -> SPASS.1.gz