Balík: alt-ergo (2.0.0-3)
Odkazy pre alt-ergo
Zdroje Debian:
Stiahnuť zdrojový balík alt-ergo:
Správcovia:
- Debian OCaml Maintainers (Stránka QA, Konferencia)
- Mehdi Dogguy (Stránka QA)
- Ralf Treinen (Stránka QA)
Externé zdroje:
- Domovská stránka [alt-ergo.lri.fr]
Podobné balíky:
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 as well as the graphical interface.
Ostatné balíky súvisiace s balíkom alt-ergo
|
|
|
|
-
- dep: libatk1.0-0 (>= 1.12.4)
- sada nástrojov prístupnosti ATK
-
- dep: libc6 (>= 2.28)
- knižnica GNU C - zdieľané knižnice
tiež virtuálny balík poskytovaný balíkom libc6-udeb
-
- dep: libcairo2 (>= 1.2.4)
- 2D vektorová grafická knižnica Cairo
-
- dep: libfontconfig1 (>= 2.12.6)
- všeobecná knižnica na konfiguráciu písiem - dynamické knižnice
-
- dep: libfreetype6 (>= 2.2.1)
- správa písiem FreeType 2 - zdieľané knižnice
-
- dep: libgdk-pixbuf2.0-0 (>= 2.22.0)
- knižnica GDK Pixbuf
-
- dep: libglib2.0-0 (>= 2.35.9)
- knižnica glib funkcií jazyka C
-
- dep: libgmp10
- aritmetická knižnica s viacnásobnou presnosťou
-
- dep: libgtk2.0-0 (>= 2.24.32)
- knižnica grafického používateľského rozhrania GTK+
-
- dep: libgtksourceview2.0-0 (>= 2.10.0)
- zdieľané knižnice ovládacieho prvku GTK+ na zvýrazňovanie syntaxe
-
- dep: libpango-1.0-0 (>= 1.14.0)
- rozloženie a vykreslenie internacionalizovaného textu
-
- dep: libpangocairo-1.0-0 (>= 1.14.0)
- rozloženie a vykreslenie internacionalizovaného textu
-
- dep: libpangoft2-1.0-0 (>= 1.14.0)
- rozloženie a vykreslenie internacionalizovaného textu
-
- dep: ocaml-base-nox-4.05.0
- virtuálny balík poskytovaný balíkom ocaml-base-nox
-
- dep: zlib1g (>= 1:1.1.4)
- komprimačná knižnica - dynamická verzia
-
- sug: why
- Balík nie je dostupný
Stiahnuť alt-ergo
Architektúra | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
---|---|---|---|
amd64 | 3,945.0 kB | 21,234.0 kB | [zoznam súborov] |
arm64 | 4,856.7 kB | 24,922.0 kB | [zoznam súborov] |
i386 | 3,464.7 kB | 18,788.0 kB | [zoznam súborov] |