5 search results for "author:"Bertrand Jeannet""

Showing 1 - 5
  1. apron
    Documentation
    APRON numerical abstract domain library
    Bertrand Jeannet Antoine Miné https://github.com/antoinemine/apron/graphs/contributors
    v0.9.15
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 10 other packages
    05 Jul 2024
  2. bddapron
    Documentation
    Logico-numerical domain(s) based on BDDs and APRON
    Bertrand Jeannet
    2.3.3
    LGPL-2.1-only
    Used by 0 other packages
    08 Feb 2019
  3. camllib
    Documentation
    Utility Library (including various datatypes)
    Bertrand Jeannet
    1.3.3
    LGPL-2.1-only
    Used by 1 other packages
    11 Mar 2021
  4. mlcuddidl
    Documentation
    OCaml interface to the CUDD BDD library
    Bertrand Jeannet Nicolas Berthier
    3.0.8
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    09 Jul 2024
  5. mlgmpidl
    Documentation
    OCaml interface to the GMP library
    Bertrand Jeannet Nicolas Berthier
    1.3.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 5 other packages
    09 Feb 2024