Ubuntu
alt-ergo package

alt-ergo 0.99.1+dfsg1-4build2 source package in Ubuntu

Changelog

alt-ergo (0.99.1+dfsg1-4build2) xenial; urgency=medium

  * No change rebuild for new OCaml ABIs

 -- Iain Lane <email address hidden>  Wed, 04 Nov 2015 20:39:46 +0000

Upload details

Uploaded by:
Iain Lane
Uploaded to:
Xenial
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
math
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
alt-ergo_0.99.1+dfsg1.orig.tar.gz 217.7 KiB 8fe9e1cc3fb1d8e9b0054677dba486d5c5ac64e2470f2ea40db09941aa104b4f
alt-ergo_0.99.1+dfsg1-4build2.debian.tar.xz 12.5 KiB 01c02a607d027097fce5291a2f4d40181fd36f70907d09f39b048aa2676ee973
alt-ergo_0.99.1+dfsg1-4build2.dsc 2.2 KiB 2384f3d4609f5224d90d5c38a4adfb20f28e2aee7c3b226eaedb60d8dd890b74

View changes file

Binary packages built by this source

alt-ergo: 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.

alt-ergo-dbgsym: debug symbols for package alt-ergo

 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.