معرفی شرکت ها

alt-ergo_2.0.0-7+b4_ppc64el.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 Bullseye-11
مخزن Debian main ppc64el
نام بسته alt-ergo
نام فایل بسته alt-ergo_2.0.0-7+b4_ppc64el.deb
نسخه بسته 2.0.0
انتشار بسته 7+b4
معماری بسته ppc64el
نگهدارنده Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://alt-ergo.lri.fr
مجوز -
حجم دانلود 2135260
حجم نصب 10567
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.


جایگزین ها

بسته نسخه معماری مخزن
alt-ergo_2.0.0-7+b4_amd64.deb 2.0.0 amd64 Debian main
alt-ergo_2.0.0-7+b4_arm64.deb 2.0.0 arm64 Debian main
alt-ergo_2.0.0-7+b4_armel.deb 2.0.0 armel Debian main
alt-ergo_2.0.0-7+b4_i386.deb 2.0.0 i386 Debian main
alt-ergo_2.0.0-7+b4_mips64el.deb 2.0.0 mips64el Debian main
alt-ergo_2.0.0-7+b4_mipsel.deb 2.0.0 mipsel Debian main
alt-ergo_2.0.0-7+b4_s390x.deb 2.0.0 s390x Debian main


نیازمندی

مقدار نام
>= 2.29 libc6
>= 2:5.1.1 libgmp10
>= 1:1.1.4 zlib1g
- libnum-ocaml-80ki3
- ocaml-base-nox-4.11.1


نحوه نصب


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

    sudo apt-get install alt-ergo_2.0.0-7+b4_ppc64el.deb


فایل ها

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