DEBFIND Suche nach Debian-Paketen

Suchplatform für Softwarepakete und Archive Debian-basierter Linux-Distributionen

beta ! Diese website wird noch weiterentwickelt.

Liste aller Kategorien/Sektionen | Suchmaske | Haftungsausschluß

Paketbeschreibung


Paketnamealt-ergo
BeschreibungAutomatic theorem prover dedicated to program verification
Archiv/RepositoryOffizielles Debian Archiv squeeze (main)
Version0.91-2
Sektionmath
Prioritätoptional
Installierte Größe1252 Byte
Hängt ab vonlibc6 (>= 2.7)
Empfohlene Pakete
PaketbetreuerDebian OCaml Maintainers
Quelle
Paketgröße466264 Byte
Prüfsumme MD52498f75617b684ff8b772588445b602b
Prüfsumme SHA1e6731e232fed77e3a6159e935929d64e515d6346
Prüfsumme SHA25644457fd5c74c6f51f0dcc40f38e825a836fd45feb5a4de885230f0487f0f543f
Link zum Herunterladenalt-ergo_0.91-2_i386.deb
Ausführliche BeschreibungAlt-Ergo is an automatic theorem prover dedicated to program verification. Alt-Ergo is based on CC(X) a congruence closure algorithm parameterized by an equational theory X. Currently, CC(X) can be instantiated by the empty equational theory and by the linear arithmetics. Alt-Ergo contains also a home made SAT-solver and an instantiation mechanism. . Alt-Ergo is both safe and modular: each box is described by a small set of inference rules and is implemented as an OCaml functor.


Impressum
Linux is a registered trademark of Linus Torvalds