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

Showing 1 - 5
  1. v0.9.15
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 10 other packages
    05 Jul 2024
  2. Logico-numerical domain(s) based on BDDs and APRON
    2.3.3
    LGPL-2.1-only
    Used by 0 other packages
    08 Feb 2019
  3. Utility Library (including various datatypes)
    1.3.3
    LGPL-2.1-only
    Used by 1 other packages
    11 Mar 2021
  4. OCaml interface to the CUDD BDD library
    3.0.8
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    09 Jul 2024
  5. OCaml interface to the GMP library
    1.3.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 5 other packages
    09 Feb 2024