11 search results for "author:"Alt-Ergo developers""

Showing 1 - 11
  1. 2.5.2
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 5 other packages
    18 Oct 2023
  2. alt-ergo-free

    No documentation

    The Alt-Ergo SMT prover
    2.3.3.dune3
    Apache-2.0
    Used by 1 other packages
    26 Jul 2022
  3. The Alt-Ergo SMT prover library
    2.5.2
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 3 other packages
    18 Oct 2023
  4. alt-ergo-lib-free

    No documentation

    The Alt-Ergo SMT prover library
    2.3.3.dune3
    Apache-2.0
    Used by 2 other packages
    26 Jul 2022
  5. The Alt-Ergo SMT prover parser library
    2.5.2
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 2 other packages
    18 Oct 2023
  6. alt-ergo-parsers-free

    No documentation

    The Alt-Ergo SMT prover parser library
    2.3.3.dune3
    Apache-2.0
    Used by 1 other packages
    26 Jul 2022
  7. An experimental Why3 frontend for Alt-Ergo
    2.5.2
    LGPL-2.1-only
    Used by 0 other packages
    18 Oct 2023
  8. The GUI for the Alt-Ergo SMT prover
    2.4.3
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0; LGPL-2.1-only
    Used by 1 other packages
    27 Apr 2023
  9. Alt-Ergo, an SMT Solver for Software Verification: FM-Simplex Plugin
    1.30
    OCamlPro Non-Commercial License
    Used by 0 other packages
    23 Nov 2016
  10. Alt-Ergo, an SMT Solver for Software Verification: Profiler Plugin
    1.30
    OCamlPro Non-Commercial License
    Used by 0 other packages
    23 Nov 2016
  11. Alt-Ergo, an SMT Solver for Software Verification: satML Plugin
    1.30
    OCamlPro Non-Commercial License
    Used by 0 other packages
    23 Nov 2016