10 Search Results
alt-ergo
The Alt-Ergo SMT prover
org:OCamlPro
Alt-Ergo developers
2.4.2
LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1; LGPL-2.1-only
Used by 4 other packages
alt-ergo-free
The Alt-Ergo SMT prover
Alt-Ergo developers
2.3.3.dune3
Apache-2.0
Used by 1 other packages
alt-ergo-lib
The Alt-Ergo SMT prover library
org:OCamlPro
Alt-Ergo developers
2.4.2
LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1
Used by 3 other packages
alt-ergo-lib-free
The Alt-Ergo SMT prover library
Alt-Ergo developers
2.3.3.dune3
Apache-2.0
Used by 2 other packages
alt-ergo-parsers
The Alt-Ergo SMT prover parser library
org:OCamlPro
Alt-Ergo developers
2.4.2
LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1
Used by 2 other packages
alt-ergo-parsers-free
The Alt-Ergo SMT prover parser library
Alt-Ergo developers
2.3.3.dune3
Apache-2.0
Used by 1 other packages
altgr-ergo
The GUI for the Alt-Ergo SMT prover
org:OCamlPro
Alt-Ergo developers
2.4.2
LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1
Used by 1 other packages
fm-simplex-plugin
Alt-Ergo, an SMT Solver for Software Verification: FM-Simplex Plugin
Alt-Ergo developers
1.30
OCamlPro Non-Commercial License
Used by 0 other packages
profiler-plugin
Alt-Ergo, an SMT Solver for Software Verification: Profiler Plugin
Alt-Ergo developers
1.30
OCamlPro Non-Commercial License
Used by 0 other packages
satML-plugin
Alt-Ergo, an SMT Solver for Software Verification: satML Plugin
Alt-Ergo developers
1.30
OCamlPro Non-Commercial License
Used by 0 other packages