معرفی شرکت ها

alt-ergo_1.30+dfsg1-1_i386.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Automatic theorem prover dedicated to program verification
ویژگی مقدار
سیستم عامل Linux
توزیع Ubuntu Bionic-18.04
مخزن Ubuntu universe i386
نام بسته alt-ergo
نام فایل بسته alt-ergo_1.30+dfsg1-1_i386.deb
نسخه بسته 1.30+dfsg1
انتشار بسته 1
معماری بسته i386
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://alt-ergo.lri.fr
مجوز -
حجم دانلود 2491748
حجم نصب 13327
Alt-Ergo is an automatic theorem prover geared towards application in program verification. It is based on CC(X), a congruence closure algorithm parameterized by an equational theory X. Alt-Ergo has built-in provers for propositional logic, linear arithmetic, uninterpreted function symbols, associative-commutative function symbols, polymorphic arrays, user-defined polymorphic record types and polymorphic enumeration types. It has restricted support for reasoning over arbitrary user-defined algebraic types, first-order quantifiers, and non-linear arithmetic. . This package contains the prover as a command-line executable as well as the graphical interface.


جایگزین ها

بسته نسخه معماری مخزن
alt-ergo_1.30+dfsg1-1_amd64.deb 1.30+dfsg1 amd64 Ubuntu universe


نیازمندی

مقدار نام
>= 2.17 libc6
>= 2.22.0 libgdk-pixbuf2.0-0
>= 2.35.9 libglib2.0-0
- libgmp10
>= 2.24.31 libgtk2.0-0
>= 2.10.0 libgtksourceview2.0-0
>= 1.14.0 libpango-1.0-0
>= 1:1.1.4 zlib1g


نحوه نصب


نصب پکیج deb alt-ergo:

    sudo apt-get install alt-ergo_1.30+dfsg1-1_i386.deb


فایل ها

مسیرها
./usr/bin/alt-ergo
./usr/bin/altgr-ergo
./usr/share/alt-ergo/gtksourceview-2.0/language-specs/alt-ergo.lang
./usr/share/doc/alt-ergo/changelog.Debian.gz
./usr/share/doc/alt-ergo/copyright
./usr/share/doc/alt-ergo/examples/invalid/arith1.why
./usr/share/doc/alt-ergo/examples/invalid/arith2.why
./usr/share/doc/alt-ergo/examples/invalid/arrays.why
./usr/share/doc/alt-ergo/examples/invalid/bitv.why
./usr/share/doc/alt-ergo/examples/valid/ac_arith.why
./usr/share/doc/alt-ergo/examples/valid/arith1.why
./usr/share/doc/alt-ergo/examples/valid/arith2.why
./usr/share/doc/alt-ergo/examples/valid/arith3.why
./usr/share/doc/alt-ergo/examples/valid/arith4.why
./usr/share/doc/alt-ergo/examples/valid/arrays.why
./usr/share/doc/alt-ergo/examples/valid/bitv.why
./usr/share/doc/alt-ergo/examples/valid/congruence.why
./usr/share/doc/alt-ergo/examples/valid/enum_arrays.why
./usr/share/doc/alt-ergo/examples/valid/quantifiers.why
./usr/share/man/man1/alt-ergo.1.gz