معرفی شرکت ها

alt-ergo_2.0.0-3_mips.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Automatic theorem prover dedicated to program verification
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Buster-10
مخزن Debian main mips
نام بسته alt-ergo
نام فایل بسته alt-ergo_2.0.0-3_mips.deb
نسخه بسته 2.0.0
انتشار بسته 3
معماری بسته mips
نگهدارنده Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://alt-ergo.lri.fr
مجوز -
حجم دانلود 405052
حجم نصب 4505
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_2.0.0-3_amd64.deb 2.0.0 amd64 Debian main
alt-ergo_2.0.0-3_arm64.deb 2.0.0 arm64 Debian main
alt-ergo_2.0.0-3_armel.deb 2.0.0 armel Debian main
alt-ergo_2.0.0-3_i386.deb 2.0.0 i386 Debian main
alt-ergo_2.0.0-3_mips64el.deb 2.0.0 mips64el Debian main
alt-ergo_2.0.0-3_mipsel.deb 2.0.0 mipsel Debian main
alt-ergo_2.0.0-3_ppc64el.deb 2.0.0 ppc64el Debian main
alt-ergo_2.0.0-3_s390x.deb 2.0.0 s390x Debian main


نیازمندی

مقدار نام
- liblablgtk2-ocaml-aq7x2
- liblablgtksourceview2-ocaml-c2558
- libzarith-ocaml-1iew2
- libzip-ocaml-7spq2
- ocaml-base-nox-4.05.0


نحوه نصب


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

    sudo apt-get install alt-ergo_2.0.0-3_mips.deb


فایل ها

مسیرها
./usr/bin/alt-ergo
./usr/bin/altgr-ergo
./usr/lib/mips-linux-gnu/alt-ergo/plugins/fm-simplex-plugin.cma
./usr/lib/mips-linux-gnu/alt-ergo/plugins/satML-plugin.cma
./usr/lib/mips-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/changelog.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