Pinned Loading

1. mockturtle mockturtle Public

   C++ logic network library

   C++ 272 159

2. lstools-showcase lstools-showcase Public

   Showcase examples for EPFL logic synthesis libraries

   CSS 201 33

3. benchmarks benchmarks Public

   EPFL logic synthesis benchmarks

   Verilog 223 42

4. bill bill Public

   C++ header-only reasoning library

   C 17 7

5. percy percy Public

   Forked from whaaswijk/percy

   C++ header-only exact synthesis library

   C++ 18 4

6. SCE-benchmarks SCE-benchmarks Public

   Optimization results for superconducting electronic (SCE) circuits

   Verilog 17 1