(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 [email protected] 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. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
