Installlion's Logo

Installlion.com

How To Install alt-ergo On Kali Linux 2017.1

To install alt-ergo just follow these instructions.

Install alt-ergo

Automatic theorem prover dedicated to program verification program verification. It is based on CC(X), a congruence closure algorithm parameterized by an equational theory X. Alt-Ergo has built-in provers for propositional logic, linear arithmetic, uninterpreted function symbols, associative-commutative function symbols, polymorphic arrays, user-defined polymorphic record types and polymorphic enumeration types. It has restricted support for reasoning over arbitrary user-defined algebraic types, first-order quantifiers, and non-linear arithmetic.Kali Linux 2017.1math1.30-1
sudo apt-get install alt-ergo

Which will install alt-ergo and any other packages on which it depends.

Package Data

Packagealt-ergo
Version1.30-1
MaintainerDebian OCaml Maintainers <[email protected]>
Home pagehttp://alt-ergo.lri.fr
DescriptionAutomatic theorem prover dedicated to program verification program verification. It is based on CC(X), a congruence closure algorithm parameterized by an equational theory X. Alt-Ergo has built-in provers for propositional logic, linear arithmetic, uninterpreted function symbols, associative-commutative function symbols, polymorphic arrays, user-defined polymorphic record types and polymorphic enumeration types. It has restricted support for reasoning over arbitrary user-defined algebraic types, first-order quantifiers, and non-linear arithmetic.
Distrokalilinux
Releasekalilinux
Repomain
Sectionmath

Dependencies