# alt-ergo 0.95.2-3 source package in Ubuntu

## Changelog

alt-ergo (0.95.2-3) sid; urgency=medium * Remove previously introduced patch since relevant API change has been reverted in OCamlgraph 1.8.5. - Remove 0002-Port-to-OCamlgraph-1.8.4.patch - Build-Depend on OCamlgraph >= 1.8.5~. -- Mehdi Dogguy <email address hidden> Sun, 27 Apr 2014 21:42:15 +0200

## Upload details

- Uploaded by:
- Debian OCaml Maintainers on 2014-04-28

- Uploaded to:
- Sid

- Original maintainer:
- Debian OCaml Maintainers

- Component:
- main

- Architectures:
- any

- Section:
- math

- Urgency:
- Medium Urgency

## See full publishing history Publishing

Series | Published | Component | Section | |
---|---|---|---|---|

Vivid | release | on 2014-10-23 | universe | math |

Utopic | release | on 2014-04-29 | universe | math |

## Downloads

File | Size | MD5 Checksum |
---|---|---|

alt-ergo_0.95.2-3.dsc | 2.2 KiB | d7a0923024c3fd5dab54f37bda1a80fc |

alt-ergo_0.95.2.orig.tar.gz | 228.3 KiB | ab9c160f7ecb26aa2479f9169db9b869 |

alt-ergo_0.95.2-3.debian.tar.xz | 11.0 KiB | f4c5003e9578a5c51dd39e524c8ff505 |

### Available diffs

- diff from 0.95.2-1build1 (in Ubuntu) to 0.95.2-3 (1.2 KiB)
- diff from 0.95.2-2 to 0.95.2-3 (954 bytes)

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.

- libalt-ergo-ocaml-dev: Theorem prover dedicated to program verification - libraries
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.