10 Search Results
alt-ergo
The Alt-Ergo SMT prover
2.4.2
LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1; LGPL-2.1-only
Used by 4 other packages
alt-ergo-lib
The Alt-Ergo SMT prover library
2.4.2
LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1
Used by 3 other packages
alt-ergo-parsers
The Alt-Ergo SMT prover parser library
2.4.2
LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1
Used by 2 other packages
altgr-ergo
The GUI for the Alt-Ergo SMT prover
2.4.2
LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1
Used by 1 other packages