4 search results for "author:"alt-ergo@ocamlpro.com""

Showing 1 - 4
  1. alt-ergo

    No documentation

    The Alt-Ergo SMT prover
    org:OCamlPro
    Alt-Ergo developers <alt-ergo@ocamlpro.com>
    2.6.2
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 3 other packages
    14 May 2025
  2. alt-ergo-lib

    No documentation

    The Alt-Ergo SMT prover library
    org:OCamlPro
    Alt-Ergo developers <alt-ergo@ocamlpro.com>
    2.6.2
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 3 other packages
    14 May 2025
  3. alt-ergo-parsers

    No documentation

    The Alt-Ergo SMT prover parser library
    org:OCamlPro
    Alt-Ergo developers <alt-ergo@ocamlpro.com>
    2.6.2
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 2 other packages
    14 May 2025
  4. alt-ergo-plugin-ab-why3

    No documentation

    An experimental Why3 frontend for Alt-Ergo
    Alt-Ergo developers <alt-ergo@ocamlpro.com>
    2.6.2
    LGPL-2.1-only
    Used by 0 other packages
    14 May 2025