Пакет: alt-ergo (2.0.0-8build1)
Връзки за alt-ergo
Ресурси за Trisquel:
Изтегляне на пакет-източник alt-ergo.
Отговорник:
Original Maintainers:
- Debian OCaml Maintainers (Пощенски архив)
- Mehdi Dogguy
- Ralf Treinen
Външни препратки:
- Начална страница [alt-ergo.ocamlpro.com]
Подобни пакети:
Automatic theorem prover dedicated to program verification
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
|
|
|
-
- dep: libc6 (>= 2.34)
- GNU C Library: Shared libraries
също и виртуален пакет, предлаган от libc6-udeb
-
- dep: libgmp10 (>= 2:6.2.1+dfsg)
- Multiprecision arithmetic library
-
- dep: libnum-ocaml-bq435
- виртуален пакет, предлаган от libnum-ocaml
-
- dep: ocaml-base-4.13.1
- виртуален пакет, предлаган от ocaml-base
-
- dep: zlib1g (>= 1:1.1.4)
- compression library - runtime
Изтегляне на alt-ergo
Архитектура | Големина на пакета | Големина след инсталиране | Файлове |
---|---|---|---|
amd64 | 2 325,3 кБ | 9980 кБ | [списък на файловете] |
arm64 | 2 853,9 кБ | 11224 кБ | [списък на файловете] |
ppc64el | 2 602,0 кБ | 11160 кБ | [списък на файловете] |