Docs GODI Archive
Projects Blog Link DB

Look up function:

(e.g. "List.find" or "keysym")
More options

FREE SOFTWARE ON CAMLCITY.ORG

GODI Package apps-alt-ergo

Automated first-order theorem prover

From the ergo web site: Ergo is an automatic theorem prover dedicated to program verification. Ergo is based on CC(X) a congruence closure algorithm parameterized by an equational theory X. Currently, CC(X) can be instanciated by the empty equational theory and by the linear arithmetics.

Version: 0.8godi1
Homepage: http://alt-ergo.lri.fr
Maintainer: Virgile Prevosto <virgile.prevosto@m4x.org>
Files: bin/alt-ergo
lib/alt-ergo/smt_prelude.mlw
share/man/man1/alt-ergo.1.html
Built from sources: alt-ergo-0.8
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml