2 search results for "author:"Matthieu Lemerre <matthieu.lemerre@cea.fr>""

Showing 1 - 2
  1. cudd
    Documentation
    Minimal cudd bindings
    Matthieu Lemerre <matthieu.lemerre@cea.fr> Paul Robert <paul.robert@cea.fr>
    0.1.3
    LGPL-2.1-only
    Used by 0 other packages
    26 Sep 2025
  2. patricia-tree
    Documentation
    Patricia Tree data structure in OCaml for maps and sets. Supports generic key-value pairs
    Matthieu Lemerre <matthieu.lemerre@cea.fr> Dorian Lesbre <dorian.lesbre@cea.fr>
    0.11.0
    LGPL-2.1-only
    Used by 1 other packages
    28 Jan 2025