Paket: alt-ergo (2.0.0-3)
Links für alt-ergo
Debian-Ressourcen:
Quellcode-Paket alt-ergo herunterladen:
Betreuer:
Externe Ressourcen:
- Homepage [alt-ergo.lri.fr]
Ähnliche Pakete:
Automatischer Theorembeweiser zur Programmverifikation
Alt-Ergo ist ein automatischer Theorembeweiser, ausgerichtet auf die Anwendung zur Programmverifikation. Er basiert auf CC(X), einem Kongruenzabschluss-Algorithmus parametrisiert durch eine Gleichungstheorie X. Alt-Ergo verfügt über eingebaute Beweiser für Aussagenlogik, lineare Arithmetik, uninterpretierte Funktionssymbole, assoziativ-kommutative Funktionssymbole, polymorphe Arrays, benutzerdefinierte polymorphe Record-Typen und polymorphe Aufzählungstypen. Er bietet eingeschränkte Unterstützung für die Argumentation über beliebige benutzerdefinierte algebraische Typen, Quantoren erster Ordnung und nichtlineare Arithmetik.
Dieses Paket enthält den Beweiser als Befehlszeilenwerkzeug und als Version mit grafischer Oberfläche.
Andere Pakete mit Bezug zu alt-ergo
|
|
|
|
-
- dep: libatk1.0-0 (>= 1.12.4) [nicht armel, mips, mips64el, mipsel]
- ATK - Werkzeugsammlung zur Barrierefreiheit
-
- dep: libc6 (>= 2.28) [nicht armel, mips, mips64el, mipsel]
- GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
-
- dep: libcairo2 (>= 1.2.4) [nicht armel, mips, mips64el, mipsel]
- 2D-Vektorgrafikbibliothek Cairo
-
- dep: libfontconfig1 (>= 2.12.6) [nicht armel, mips, mips64el, mipsel]
- Generische Schriftkonfigurationsbibliothek - Laufzeit
-
- dep: libfreetype6 (>= 2.2.1) [nicht armel, mips, mips64el, mipsel]
- Schrift-Engine FreeType 2, Laufzeitbibliothek
-
- dep: libgdk-pixbuf2.0-0 (>= 2.22.0) [nicht armel, mips, mips64el, mipsel]
- Bibliothek GDK-PixBuf
-
- dep: libglib2.0-0 (>= 2.35.9) [nicht armel, mips, mips64el, mipsel]
- GLib - Bibliothek von C-Routinen
-
- dep: libgmp10 [nicht armel, mips, mips64el, mipsel]
- Mehrfachgenaue, arithmetische Bibliothek
-
- dep: libgtk2.0-0 (>= 2.24.32) [nicht armel, mips, mips64el, mipsel]
- GTK+ - Bibliothek für grafische Benutzeroberflächen
-
- dep: libgtksourceview2.0-0 (>= 2.10.0) [nicht armel, mips, mips64el, mipsel]
- Laufzeitbibliothek für das GTK+-Widget für Syntaxmarkierung
-
- dep: liblablgtk2-ocaml-aq7x2 [armel, mips, mips64el, mipsel]
- virtuelles Paket, bereitgestellt durch liblablgtk2-ocaml
-
- dep: liblablgtksourceview2-ocaml-c2558 [armel, mips, mips64el, mipsel]
- virtuelles Paket, bereitgestellt durch liblablgtksourceview2-ocaml
-
- dep: libpango-1.0-0 (>= 1.14.0) [nicht armel, mips, mips64el, mipsel]
- Gestaltung und Anzeige internationalisierten Textes
-
- dep: libpangocairo-1.0-0 (>= 1.14.0) [nicht armel, mips, mips64el, mipsel]
- Gestaltung und Anzeige internationalisierten Textes
-
- dep: libpangoft2-1.0-0 (>= 1.14.0) [nicht armel, mips, mips64el, mipsel]
- Gestaltung und Anzeige internationalisierten Textes
-
- dep: libzarith-ocaml-1iew2 [armel, mips, mips64el, mipsel]
- virtuelles Paket, bereitgestellt durch libzarith-ocaml
-
- dep: libzip-ocaml-7spq2 [armel, mips, mips64el, mipsel]
- virtuelles Paket, bereitgestellt durch libzip-ocaml
-
- dep: ocaml-base-nox-4.05.0
- virtuelles Paket, bereitgestellt durch ocaml-base-nox
-
- dep: zlib1g (>= 1:1.1.4) [nicht armel, mips, mips64el, mipsel]
- Kompressions-Bibliothek - Laufzeit
-
- sug: why
- Paket nicht verfügbar
alt-ergo herunterladen
Architektur | Paketgröße | Größe (installiert) | Dateien |
---|---|---|---|
amd64 | 3.945,0 kB | 21.234,0 kB | [Liste der Dateien] |
arm64 | 4.856,7 kB | 24.922,0 kB | [Liste der Dateien] |
armel | 395,6 kB | 4.505,0 kB | [Liste der Dateien] |
i386 | 3.464,7 kB | 18.788,0 kB | [Liste der Dateien] |
mips | 395,6 kB | 4.505,0 kB | [Liste der Dateien] |
mips64el | 395,7 kB | 4.505,0 kB | [Liste der Dateien] |
mipsel | 395,5 kB | 4.505,0 kB | [Liste der Dateien] |
ppc64el | 4.361,5 kB | 23.616,0 kB | [Liste der Dateien] |
s390x | 4.522,1 kB | 25.408,0 kB | [Liste der Dateien] |