2 search results for "author:"Alain Mebsout""

Showing 1 - 2
  1. cubicle
    Documentation
    SMT based model checker for parameterized systems
    Sylvain Conchon Alain Mebsout
    1.2.0
    Apache-2.0
    Used by 0 other packages
    02 Nov 2022
  2. ez_api
    Documentation
    Easy API library and tools
    Cagdas Bozman <cagdas.bozman@ocamlpro.com> Michael Laporte <michael.laporte@ocamlpro.com> Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com> Maxime Levillain <maxime.levillain@ocamlpro.com> Alain Mebsout <alain.mebsout@ocamlpro.com>
    2.0.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    14 Feb 2023