libalt-ergo-ocaml-dev - Theorem prover dedicated to program verification - libraries

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main amd64
Package name libalt-ergo-ocaml-dev
Package version 0.95.2
Package release 3
Package architecture amd64
Package type deb
Installed size 6.38 KB
Download size 699.77 KB
Official Mirror
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 development libraries that are useful when
writing OCaml programs linking to the alt-ergo API.


Package Version Architecture Repository
libalt-ergo-ocaml-dev_0.95.2-3_i386.deb 0.95.2 i386 Debian Main
libalt-ergo-ocaml-dev - - -


Name Value
libzarith-ocaml-dev-cs768 -
ocaml-nox-4.01.0 -


Name Value
alt-ergo << 0.95.1-1


Type URL
Binary Package libalt-ergo-ocaml-dev_0.95.2-3_amd64.deb
Source Package alt-ergo

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install libalt-ergo-ocaml-dev deb package:
    # sudo apt-get install libalt-ergo-ocaml-dev




See alt-ergo_0.95.2-3_amd64.deb changelog.

See Also

Package Description
libalt-perl_0.10-1_all.deb namespace for alternate module implementations
libalure-dev_1.2-6_amd64.deb AL Utilities REtooled (development files)
libalure1_1.2-6_amd64.deb AL Utilities REtooled (shared library)
libalut-dev_1.1.0-5_amd64.deb OpenAL Utility Toolkit development files
libalut0_1.1.0-5_amd64.deb OpenAL Utility Toolkit
libalzabo-perl_0.92-3_all.deb Data modelling tool and RDBMS-OO mapper
libam7xxx-dev_0.1.5-2+b1_amd64.deb library for accessing am7xxx devices - development files
libam7xxx0.1-bin_0.1.5-2+b1_amd64.deb library for accessing am7xxx devices - utilities
libam7xxx0.1-doc_0.1.5-2_all.deb library for accessing am7xxx devices - documentation
libam7xxx0.1_0.1.5-2+b1_amd64.deb library for accessing am7xxx based devices
libamazon-sqs-simple-perl_2.03-1_all.deb Perl module for accessing the Amazon Simple Queue
libambit0-dev_0.3-1_amd64.deb utilities for Suunto Ambit sport watches
libambit0_0.3-1_amd64.deb utilities for Suunto Ambit sport watches
libamd2.3.1_4.2.1-3_amd64.deb approximate minimum degree ordering library for sparse matrices
libampsharp-cil-dev_2.0.4-2_all.deb Asynchronous Messaging Protocol library for the CLI