Revision as of 04:01, 26 May 2015 edit Srednuas Lenoroc (talk \| contribs) Extended confirmed users 28,393 edits sp ← Previous edit		Revision as of 04:46, 29 September 2016 edit undo 2601:445:4001:8a30:65a1:6152:c0e3:13e7 (talk) No edit summary Next edit →
Line 1: {{advert\|date=March 2015}} {{unreferenced\|date=November 2014}} '''Alt-Ergo''' is an automatic solver for mathematical formulas, specifically designed for program verification. It is based on [[~~Satisfiability~~satisfiability ~~Modulo~~modulo ~~Theories~~theories]] (SMT). It is distributed under an open-source license (Cecill-C). Its original author was Sylvain Conchon, at [http://www.lri.fr LRI], but it is now developed and maintained at [http://www.ocamlpro.com OCamlPro]. == Technologies ==

Alt-Ergo: Difference between revisions