LIP6, Sorbonne Université

Popular repositories Loading

1. coriolis coriolis Public

   Coriolis VLSI EDA Tool (LIP6)

   C++ 93 20

2. painless painless Public

   A framework to ease parallelization of sequential SAT solvers

   C++ 36 11

3. ITSTools ITSTools Public

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

   Python 28 12

4. alliance alliance Public

   Alliance VLSI CAD Tools (LIP6)

   C 24 6

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

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

   Python 17 6

6. pnmlframework pnmlframework Public

   This repository hosts the source code of PNML Framework, the companion tool of ISO/IEC 15909-2 (Petri Nets Markup Language - www.pnml.org)

   Java 16 10