Content deleted Content added
m Changed casing for CeCILL-C copyright. Added and removed links for various terms. Combined sentence in paragraph 1. |
m Updated the website link and reordered the external links section so that the new website is listed above the old one |
||
Line 9:
| language =
| genre = Mathematical solver, program verifier
| website =
}}
'''Alt-Ergo''' is an automatic solver for mathematical formulas, specifically designed for program verification. It is based on [[satisfiability modulo theories]] (SMT) and distributed under an open-source license (CeCILL-C). Its original authors were Sylvain Conchon and Evelyne Contejean, at [http://www.lri.fr LRI], but it is now developed and maintained at [http://www.ocamlpro.com OCamlPro].
Line 51:
==External links==
*[http://alt-ergo.lri.fr/ Alt-Ergo at LRI]▼
*[http://alt-ergo.ocamlpro.com Alt-Ergo at OcamlPro]
[[Category:OCaml software]]
| |||