alt-ergo 2.0.0-5 source package in Ubuntu


alt-ergo (2.0.0-5) unstable; urgency=medium

  * Add libnum-ocaml-dev to Build-Depends

 -- St├ęphane Glondu <email address hidden>  Sun, 01 Sep 2019 08:18:21 +0200

Upload details

Uploaded by:
Debian OCaml Maintainers on 2019-09-01
Uploaded to:
Original maintainer:
Debian OCaml Maintainers
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Focal release on 2019-10-23 universe math


File Size SHA-256 Checksum
alt-ergo_2.0.0-5.dsc 2.0 KiB 37519c0545f6b6f2398953c1f15c85f3fbdec2bb6714fdf3597b9a870d2980f2
alt-ergo_2.0.0.orig.tar.gz 345.2 KiB bb90bd62a971340c1854d24a8a650403722b4f71d2afcce797bc53e76417cd4b
alt-ergo_2.0.0-5.debian.tar.xz 6.8 KiB efefa0597a2e3c31884226d282e9f8f3617ecbd00f59c05160c268847233b112

Available diffs

No changes file available.

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