3 search results for "author:"Hichem Rami Ait El Hara""

Showing 1 - 3
  1. colibri2

    No documentation

    A CP solver for smtlib
    François Bobot Bruno Marre Guillaume Bury Stéphane Graham-Lengrand Hichem Rami Ait El Hara
    0.6
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  2. domainpc
    Documentation
    Domain Per Core, spawn domains ensuring that they run on separate cores
    Hichem Rami Ait El Hara <hra@ocamlpro.com>
    0.2
    AGPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  3. smtml
    Documentation
    An SMT solver frontend for OCaml
    João Pereira <joaomhmpereira@tecnico.ulisboa.pt> Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt> Hichem Rami Ait El Hara <hra@ocamlpro.com> redianthus <redopam@pm.me> Arthur Carcano <arthur.carcano@ocamlpro.com> et al.
    0.30.0
    MIT
    Used by 1 other packages
    Added to opam-repository