معرفی شرکت ها

alt-ergo_2.0.0-5build1_amd64.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 Focal-20.04
مخزن Ubuntu universe amd64
نام بسته alt-ergo
نام فایل بسته alt-ergo_2.0.0-5build1_amd64.deb
نسخه بسته 2.0.0
انتشار بسته 5build1
معماری بسته amd64
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://alt-ergo.lri.fr
مجوز -
حجم دانلود 4090072
حجم نصب 21580
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.


نیازمندی

مقدار نام
>= 2.29 libc6
>= 2.22.0 libgdk-pixbuf2.0-0
>= 2.35.9 libglib2.0-0
- libgmp10
>= 2.24.0 libgtk2.0-0
>= 2.10.0 libgtksourceview2.0-0
>= 1.22.0 libpango-1.0-0
>= 1:1.1.4 zlib1g
- libnum-ocaml-f5qg6
- ocaml-base-nox-4.08.1


نحوه نصب


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

    sudo apt-get install alt-ergo_2.0.0-5build1_amd64.deb


فایل ها

مسیرها
./usr/bin/alt-ergo
./usr/bin/altgr-ergo
./usr/lib/x86_64-linux-gnu/alt-ergo/plugins/fm-simplex-plugin.cmxs
./usr/lib/x86_64-linux-gnu/alt-ergo/plugins/satML-plugin.cmxs
./usr/lib/x86_64-linux-gnu/alt-ergo/preludes/fpa-theory-2017-01-04-16h00.why
./usr/share/alt-ergo/gtksourceview-2.0/language-specs/alt-ergo.lang
./usr/share/doc/alt-ergo/NEWS.Debian.gz
./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