[ buster ]
[ bullseye ]
[ Source: alt-ergo ]
Package: alt-ergo (2.0.0-3)
Links for alt-ergo
Debian Resources:
Download Source Package alt-ergo:
Maintainers:
External Resources:
- Homepage [alt-ergo.lri.fr]
Similar packages:
dimostratore automatico di teoremi dedicato alla verifica dei programmi
Alt-Ergo è un dimostratore automatico di teoremi pensato per l'uso nella verifica dei programmi. È basato su CC(X): un algoritmo di "Congruence Closure" parametrizzato da una teoria di equazioni X. Alter-Ergo ha dimostratori incorporati per logica proposizionale, aritmetica lineare, simboli di funzioni non interpretate, simboli di funzioni associative-commutative, array polimorfi, tipi di record polimorfi definiti dall'utente e tipi per enumerazione polimorfi. Ha una gestione ristretta per il ragionamento su tipi algebrici arbitrari definiti dall'utente, quantificatori del primo ordine e aritmetica non lineare.
Questo pacchetto contiene il dimostratore in forma di eseguibile a riga di comando, così come l'interfaccia grafica.
Other Packages Related to alt-ergo
|
|
|
|
-
- dep: libatk1.0-0 (>= 1.12.4)
- toolkit per l'accessibilità ATK
-
- dep: libc6 (>= 2.28)
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
-
- dep: libcairo2 (>= 1.2.4)
- libreria Cairo per grafica 2D vettoriale
-
- dep: libfontconfig1 (>= 2.12.6)
- libreria generica di configurazione di tipi di carattere - runtime
-
- dep: libfreetype6 (>= 2.2.1)
- motore per caratteri FreeType 2, libreria condivisa
-
- dep: libgdk-pixbuf2.0-0 (>= 2.22.0)
- libreria GDK Pixbuf
-
- dep: libglib2.0-0 (>= 2.35.9)
- libreria GLib di routine in C
-
- dep: libgmp10
- libreria aritmetica a precisione multipla
-
- dep: libgtk2.0-0 (>= 2.24.32)
- libreria per interfacce utente grafiche GTK+
-
- dep: libgtksourceview2.0-0 (>= 2.10.0)
- librerie condivise per il widget GTK+ di evidenziazione della sintassi
-
- dep: libpango-1.0-0 (>= 1.14.0)
- impaginazione e rendering di testo internazionalizzato
-
- dep: libpangocairo-1.0-0 (>= 1.14.0)
- impaginazione e rendering di testo internazionalizzato
-
- dep: libpangoft2-1.0-0 (>= 1.14.0)
- impaginazione e rendering di testo internazionalizzato
-
- dep: ocaml-base-nox-4.05.0
- virtual package provided by ocaml-base-nox
-
- dep: zlib1g (>= 1:1.1.4)
- libreria di compressione - runtime
-
- sug: why
- Package not available
Download alt-ergo
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 3,945.0 kB | 21,234.0 kB | [list of files] |
| arm64 | 4,856.7 kB | 24,922.0 kB | [list of files] |
| i386 | 3,464.7 kB | 18,788.0 kB | [list of files] |