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 Ubuntu Archiv lucid (universe)
Version0.9-1build1
Sektionuniverse/math
Prioritätoptional
Installierte Größe1156 Byte
Hängt ab vonlibc6 (>= 2.7)
Empfohlene Pakete
PaketbetreuerUbuntu Developers
Quelle
Paketgröße431450 Byte
Prüfsumme MD5c34e2771a4041c6914b4b425344c006d
Prüfsumme SHA113b06ee9ed5a5e414ce338c21db64beba62c00f4
Prüfsumme SHA2567956c56b21148c170622cea22b656bfb5cc81382456e375f52430fe0eeca5662
Link zum Herunterladenalt-ergo_0.9-1build1_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