GeezerVison

Pinned Loading

1. mockturtle mockturtle Public

   C++ logic network library

   C++ 316 182

2. lstools-showcase lstools-showcase Public

   Showcase examples for EPFL logic synthesis libraries

   CSS 213 33

3. benchmarks benchmarks Public

   EPFL logic synthesis benchmarks

   Verilog 275 56

4. bill bill Public

   C++ header-only reasoning library

   C 19 7

5. percy percy Public

   Forked from whaaswijk/percy

   C++ header-only exact synthesis library

   C++ 19 4

6. SCE-benchmarks SCE-benchmarks Public

   Optimization results for superconducting electronic (SCE) circuits

   Verilog 19 1