Abstract is: 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 LRI, but it is now developed and maintained at OCamlPro.
free and open-source software | Q506883 |
SMT solver | Q111307290 |
P3442 | Debian stable package | alt-ergo |
P646 | Freebase ID | /m/012c8y2z |
P856 | official website | https://alt-ergo.ocamlpro.com/ |
P6931 | Repology project name | alt-ergo |
P1324 | source code repository URL | https://github.com/OCamlPro/alt-ergo |
P275 | copyright license | CeCILL | Q1052189 |
P6216 | copyright status | copyrighted | Q50423863 |
P366 | has use | satisfiability modulo theories | Q2067766 |
P306 | operating system | cross-platform | Q174666 |
P277 | programmed in | OCaml | Q212587 |
P348 | software version identifier | 2.5.4 |
Alt-Ergo | wikipedia |
Search more.