Popular repositories Loading

1. coriolis coriolis Public

   Coriolis VLSI EDA Tool (LIP6)

   C++ 75 14

2. ITSTools ITSTools Public

   A multi-formalism, multi-solution model-checker centered on the language GAL

   Python 27 13

3. painless painless Public

   A framework to ease parallelization of sequential SAT solvers

   C++ 27 10

4. alliance alliance Public

   Alliance VLSI CAD Tools (LIP6)

   C 17 3

5. alliance-check-toolkit alliance-check-toolkit Public

   Tutorial, examples and regression tests for Coriolis & Alliance (LIP6)

   Python 15 5

6. libDDD libDDD Public

   Library for Data Decision Diagrams and Set Decision Diagrams

   C++ 14 4