5 search results for "author:"Pascal Raymond""

Showing 1 - 5
  1. bddrand

    No documentation

    A simple front-end to the lutin Random toss machinary
    Erwan Jahier Pascal Raymond
    2.71.15
    CECILL-2.1
    Used by 0 other packages
    Added to opam-repository
  2. ezdl
    Documentation
    Easy dynamic linking of C functions from ocaml
    clib:stdc clib:camlidl
    Pascal Raymond
    2.71.15
    CECILL-2.1
    Used by 1 other packages
    Added to opam-repository
  3. gbddml
    Documentation
    The Verimag bdd library
    Pascal Raymond
    2.71.15
    CECILL-2.1
    Used by 1 other packages
    Added to opam-repository
  4. lustre-v6
    Documentation
    The Lustre V6 Verimag compiler
    Erwan Jahier and Pascal Raymond
    6.107.1
    CeCILL-2.1
    Used by 1 other packages
    Added to opam-repository
  5. lutin

    No documentation

    Lutin: modeling stochastic reactive systems
    clib:stdc clib:camlidl
    Erwan Jahier Pascal Raymond Yvan Roux
    2.71.15
    CECILL-2.1
    Used by 1 other packages
    Added to opam-repository