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:

Automatisk teorem-bevisfører dedikeret til programverifikation

Alt-Ergo er en automatisk teorem-bevisfører dedikeret til programverifikation. Alt-Ergo er baseret på CC(X), en kongruent lukkealgoritme som er parameteriseret af en ligningsmæssig teori X. Alt-Ergo har indbyggede bevisførere for sætningslogik, lineær aritmetik, ufortolkede funktionssymboler, associative-kommutative funktionssymboler, polymorfiske arrayer, brugerdefinerede polymorfiske posttyper og polymorfiske nummereringstyper. Programmet har begrænset understøttelse for belysning af arbitrære brugerdefinerede algebraiske typer, første grads kvantorer og ikkelineær aritmetik.

Denne pakke indeholder bevisføreren som en kørbar fil.

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)

GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
dep: libgmp10 (>= 2:5.1.1)

Bibliotek til multipræcision i aritmetik
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)

Komprimeringsbibliotek - kørselstid

sug: why

Package not available

Download alt-ergo

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