Package: alt-ergo (2.0.0-7 and others)

Links for alt-ergo

Debian Resources:

Download Source Package alt-ergo:

Maintainers:

Debian OCaml Maintainers (QA Page, Mail Archive)
Mehdi Dogguy (QA Page)
Ralf Treinen (QA Page)

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.

Tags: Implemented in: OCaml, User Interface: Graphical User Interface, interface::x11, role::program, Interface Toolkit: GTK

Other Packages Related to alt-ergo

depends

recommends

suggests

enhances

dep: libc6 (>= 2.29)

Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
dep: libgmp10 (>= 2:5.1.1)

libreria aritmetica a precisione multipla
dep: libnum-ocaml-80ki3

virtual package provided by libnum-ocaml
dep: ocaml-base-nox-4.11.1

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

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
ppc64el	2.0.0-7+b4	2,085.2 kB	10,567.0 kB	[list of files]