Skip to content
View romainbrenguier's full-sized avatar

Organizations

@diffblue

Block or report romainbrenguier

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. cbmc cbmc Public

    Forked from agriggio/cbmc

    C Bounded Model Checker

    C++

  2. MeanPayoffSolver MeanPayoffSolver Public

    A solver for Mean Payoff Games, based on gain and bias equations and the Z3 SMT solver.

    C++ 1

  3. ocaml-aiger ocaml-aiger Public

    An Ocaml library to read, write and manipulate AIGER files

    OCaml

  4. ocaml-cudd ocaml-cudd Public

    An Ocaml interface to BDD functions of the CUDD library

    OCaml

  5. Praline Praline Public

    Tools for synthesis in multi-agent systems: computes Nash equilibria of concurrent games modelling interactions in a protocol.

    OCaml 1

  6. Speculoos Speculoos Public

    SPECification LOgics fOr Synthesis

    OCaml