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

Showing 1 - 4
  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 8 other packages
    05 Jul 2024
  2. camllib
    Documentation
    Utility Library (including various datatypes)
    Bertrand Jeannet
    1.3.3
    LGPL-2.1-only
    Used by 0 other packages
    11 Mar 2021
  3. 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 0 other packages
    09 Jul 2024
  4. 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