11 search results for "author:"Alt-Ergo developers""
Showing 1 - 11
-
2.6.0LicenseRef-OCamlpro-Non-Commercial; Apache-2.0Used by 5 other packages24 Sep 2024
-
alt-ergo-free
No documentation
The Alt-Ergo SMT prover2.3.3.dune3Apache-2.0Used by 1 other packages26 Jul 2022 -
2.6.0LicenseRef-OCamlpro-Non-Commercial; Apache-2.0Used by 3 other packages24 Sep 2024
-
alt-ergo-lib-free
No documentation
The Alt-Ergo SMT prover library2.3.3.dune3Apache-2.0Used by 2 other packages26 Jul 2022 -
2.6.0LicenseRef-OCamlpro-Non-Commercial; Apache-2.0Used by 2 other packages24 Sep 2024
-
alt-ergo-parsers-free
No documentation
The Alt-Ergo SMT prover parser library2.3.3.dune3Apache-2.0Used by 1 other packages26 Jul 2022 -
An experimental Why3 frontend for Alt-Ergo2.6.0LGPL-2.1-onlyUsed by 0 other packages24 Sep 2024
-
2.4.3LicenseRef-OCamlpro-Non-Commercial; Apache-2.0; LGPL-2.1-onlyUsed by 1 other packages27 Apr 2023
-
Alt-Ergo, an SMT Solver for Software Verification: FM-Simplex Plugin1.30OCamlPro Non-Commercial LicenseUsed by 0 other packages23 Nov 2016
-
Alt-Ergo, an SMT Solver for Software Verification: Profiler Plugin1.30OCamlPro Non-Commercial LicenseUsed by 0 other packages23 Nov 2016
-
Alt-Ergo, an SMT Solver for Software Verification: satML Plugin1.30OCamlPro Non-Commercial LicenseUsed by 0 other packages23 Nov 2016