How to Install and Uninstall alt-ergo Package on Ubuntu 16.04 LTS (Xenial Xerus)
Last updated: December 24,2024
1. Install "alt-ergo" package
This tutorial shows how to install alt-ergo on Ubuntu 16.04 LTS (Xenial Xerus)
$
sudo apt update
Copied
$
sudo apt install
alt-ergo
Copied
2. Uninstall "alt-ergo" package
This guide covers the steps necessary to uninstall alt-ergo on Ubuntu 16.04 LTS (Xenial Xerus):
$
sudo apt remove
alt-ergo
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the alt-ergo package on Ubuntu 16.04 LTS (Xenial Xerus)
Package: alt-ergo
Priority: optional
Section: universe/math
Installed-Size: 10601
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Architecture: amd64
Version: 0.99.1+dfsg1-4build3
Depends: libc6 (>= 2.15), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgmp10, libgtk2.0-0 (>= 2.24.0), libgtksourceview2.0-0 (>= 2.10.0), libpango-1.0-0 (>= 1.14.0)
Suggests: why
Filename: pool/universe/a/alt-ergo/alt-ergo_0.99.1+dfsg1-4build3_amd64.deb
Size: 1993374
MD5sum: 2a9b42a7d024196c92686ae80761ae9a
SHA1: a03a1f3039578461d1e8fb91125595b12737b390
SHA256: 545f45b22ea63fc46173150365fb467ed6643ceaf651bbef7fe36dee6554e58b
Description-en: Automatic theorem prover dedicated to program verification
Alt-Ergo is an automatic theorem prover geared towards application in
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.
.
This package contains the prover as a command-line executable
as well as the graphical interface.
Description-md5: da151d43a8ca7b0344b58486b4b163a8
Homepage: http://alt-ergo.lri.fr
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu
Priority: optional
Section: universe/math
Installed-Size: 10601
Maintainer: Ubuntu Developers
Original-Maintainer: Debian OCaml Maintainers
Architecture: amd64
Version: 0.99.1+dfsg1-4build3
Depends: libc6 (>= 2.15), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgmp10, libgtk2.0-0 (>= 2.24.0), libgtksourceview2.0-0 (>= 2.10.0), libpango-1.0-0 (>= 1.14.0)
Suggests: why
Filename: pool/universe/a/alt-ergo/alt-ergo_0.99.1+dfsg1-4build3_amd64.deb
Size: 1993374
MD5sum: 2a9b42a7d024196c92686ae80761ae9a
SHA1: a03a1f3039578461d1e8fb91125595b12737b390
SHA256: 545f45b22ea63fc46173150365fb467ed6643ceaf651bbef7fe36dee6554e58b
Description-en: Automatic theorem prover dedicated to program verification
Alt-Ergo is an automatic theorem prover geared towards application in
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.
.
This package contains the prover as a command-line executable
as well as the graphical interface.
Description-md5: da151d43a8ca7b0344b58486b4b163a8
Homepage: http://alt-ergo.lri.fr
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu