معرفی شرکت ها

ladr4-apps_0.0.200911a-2.1+b2_mipsel.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

the LADR deduction library, miscellaneous applications
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Buster-10
مخزن Debian main mipsel
نام بسته ladr4-apps
نام فایل بسته ladr4-apps_0.0.200911a-2.1+b2_mipsel.deb
نسخه بسته 0.0.200911a
انتشار بسته 2.1+b2
معماری بسته mipsel
نگهدارنده Debian QA Group <packages@qa.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://www.cs.unm.edu/~mccune/mace4/
مجوز -
حجم دانلود 142810
حجم نصب 1022
LADR (Library for Automated Deduction Research) is a library for use in constructing theorem provers. Among other useful routines it provides facilities for applying inference rules such as resolution and paramodulation to clauses. LADR is used by the prover9 theorem prover, and by the mace4 countermodel generator. . This package provides miscellaneous LADR applications.


جایگزین ها

بسته نسخه معماری مخزن
ladr4-apps_0.0.200911a-2.1+b2_amd64.deb 0.0.200911a amd64 Debian main
ladr4-apps_0.0.200911a-2.1+b2_arm64.deb 0.0.200911a arm64 Debian main
ladr4-apps_0.0.200911a-2.1+b2_armel.deb 0.0.200911a armel Debian main
ladr4-apps_0.0.200911a-2.1+b2_armhf.deb 0.0.200911a armhf Debian main
ladr4-apps_0.0.200911a-2.1+b2_i386.deb 0.0.200911a i386 Debian main
ladr4-apps_0.0.200911a-2.1+b2_mips.deb 0.0.200911a mips Debian main
ladr4-apps_0.0.200911a-2.1+b2_mips64el.deb 0.0.200911a mips64el Debian main
ladr4-apps_0.0.200911a-2.1+b2_ppc64el.deb 0.0.200911a ppc64el Debian main
ladr4-apps_0.0.200911a-2.1+b2_s390x.deb 0.0.200911a s390x Debian main


نیازمندی

مقدار نام
>= 2.7 libc6
>= 0.0.200902a libladr4
- python


نحوه نصب


نصب پکیج deb ladr4-apps:

    sudo apt-get install ladr4-apps_0.0.200911a-2.1+b2_mipsel.deb


فایل ها

مسیرها
./usr/bin/attack
./usr/bin/autosketches4
./usr/bin/clausefilter
./usr/bin/clausetester
./usr/bin/complex
./usr/bin/directproof
./usr/bin/dprofiles
./usr/bin/fof-prover9
./usr/bin/get_givens
./usr/bin/get_interps
./usr/bin/get_kept
./usr/bin/gvizify
./usr/bin/idfilter
./usr/bin/interpfilter
./usr/bin/ladr_to_tptp
./usr/bin/latfilter
./usr/bin/looper
./usr/bin/miniscope
./usr/bin/mirror-flip
./usr/bin/newauto
./usr/bin/newsax
./usr/bin/olfilter
./usr/bin/perm3
./usr/bin/renamer
./usr/bin/rewriter
./usr/bin/sigtest
./usr/bin/tptp_to_ladr
./usr/bin/unfast
./usr/bin/upper-covers
./usr/share/doc/ladr4-apps/README.Debian
./usr/share/doc/ladr4-apps/README.directproof.gz
./usr/share/doc/ladr4-apps/changelog.Debian.gz
./usr/share/doc/ladr4-apps/changelog.Debian.mipsel.gz
./usr/share/doc/ladr4-apps/changelog.gz
./usr/share/doc/ladr4-apps/copyright
./usr/share/man/man1/clausefilter.1.gz
./usr/share/man/man1/clausetester.1.gz
./usr/share/man/man1/interpfilter.1.gz
./usr/share/man/man1/ladr4-apps.1.gz
./usr/share/man/man1/rewriter.1.gz
./usr/share/man/man1/attack.1.gz -> ladr4-apps.1.gz
./usr/share/man/man1/autosketches4.1.gz -> ladr4-apps.1.gz
./usr/share/man/man1/complex.1.gz -> ladr4-apps.1.gz
./usr/share/man/man1/directproof.1.gz -> ladr4-apps.1.gz
./usr/share/man/man1/dprofiles.1.gz -> ladr4-apps.1.gz
./usr/share/man/man1/fof-prover9.1.gz -> ladr4-apps.1.gz
./usr/share/man/man1/get_givens.1.gz -> ladr4-apps.1.gz
./usr/share/man/man1/get_interps.1.gz -> ladr4-apps.1.gz
./usr/share/man/man1/get_kept.1.gz -> ladr4-apps.1.gz
./usr/share/man/man1/gvizify.1.gz -> ladr4-apps.1.gz
... and 16 more