alt-ergo_0.8-1_i386.changes is NEW
(new) alt-ergo_0.8-1.diff.gz optional math
(new) alt-ergo_0.8-1.dsc optional math
(new) alt-ergo_0.8-1_i386.deb optional math
Automatic theorem prover dedicated to program verification
Alt-Ergo is an automatic theorem prover dedicated to program verification.
Alt-Ergo is based on CC(X) a congruence closure algorithm parameterized by an
equational theory X. Currently, CC(X) can be instantiated by the empty
equational theory and by the linear arithmetics. Alt-Ergo contains also a home
made SAT-solver and an instantiation mechanism.
.
Alt-Ergo is both safe and modular: each box is described by a small set of
inference rules and is implemented as an OCaml functor.
(new) alt-ergo_0.8.orig.tar.gz optional math
Changes: alt-ergo (0.8-1) unstable; urgency=low
.
* Initial release (Closes: #468557)
Override entries for your package:
Announcing to debian-devel-changes@lists.debian.org
Closing bugs: 468557
Your package contains new components which requires manual editing of
the override file. It is ok otherwise, so please be patient. New
packages are usually added to the override file about once a week.
You may have gotten the distribution wrong. You'll get warnings above
if files already exist in other distributions.
Reply to: