Popular repositories Loading

1. libsdd libsdd Public

   Forked from ahamez/libsdd

   A generic C++14 library for Hierarchical Set Decision Diagrams.

   C++

2. caesar.sdd caesar.sdd Public

   Forked from ahamez/caesar.sdd

   An implementation of caesar.bdd using SDD

   C++

3. pnml2nupn pnml2nupn Public

   Forked from lip6/pnml2nupn

   PNML2NUPN transforms Petri Nets models in PNML (Petri nets Markup Language, www.pnml.org) into the Nested-Unit Petri Nets (NUPN) handled by the Caesar.bdd structural analyser tool of the CADP tool …

   Java

4. z3 z3 Public

   Forked from Z3Prover/z3

   The Z3 Theorem Prover

   C++

5. Kong Kong Public

   Forked from nicolasAmat/Kong

   Kong is a tool to compute the concurrency relation of a Petri using nets reduction (polyhedral approach).

   Python