Block or report user

Pinned repositories

  1. KAOSTools

    This repository contains a tool suite for building, editing, analyzing, exporting ... KAOS models

    C# 3

  2. LtlSharp

    A library to check LTL formulae for satisfiability and validity.

    C# 4 1

  3. BDDSharp

    BDDSharp is a C# library for manipulating roBDDs (Reduced Ordered Binary Decision Diagrams).

    C# 2 2

198 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri

Contribution activity First pull request First issue First repository Joined GitHub

November - December 2017

ancailliau has no activity yet for this period.

October 2017

Seeing something unexpected? Take a look at the GitHub profile guide.