10 Search Results
alt-ergo
The Alt-Ergo SMT prover
2.4.2
OCamlPro Non-Commercial Purpose License, version 1; LGPL-2.1-only
Used by 4 other packages
alt-ergo-free
The Alt-Ergo SMT prover
2.3.3.dune3
Apache-2.0
Used by 1 other packages
alt-ergo-lib
The Alt-Ergo SMT prover library
2.4.2
OCamlPro Non-Commercial Purpose License, version 1
Used by 3 other packages
alt-ergo-lib-free
The Alt-Ergo SMT prover library
2.3.3.dune3
Apache-2.0
Used by 2 other packages
alt-ergo-parsers
The Alt-Ergo SMT prover parser library
2.4.2
OCamlPro Non-Commercial Purpose License, version 1
Used by 2 other packages
alt-ergo-parsers-free
The Alt-Ergo SMT prover parser library
2.3.3.dune3
Apache-2.0
Used by 1 other packages
altgr-ergo
The GUI for the Alt-Ergo SMT prover
2.4.2
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
1.30
OCamlPro Non-Commercial License
Used by 0 other packages
profiler-plugin
Alt-Ergo, an SMT Solver for Software Verification: Profiler Plugin
1.30
OCamlPro Non-Commercial License
Used by 0 other packages
satML-plugin
Alt-Ergo, an SMT Solver for Software Verification: satML Plugin
1.30
OCamlPro Non-Commercial License
Used by 0 other packages