lsils

mockturtle

C++ logic network library

lstools-showcase

Showcase examples for EPFL logic synthesis libraries

benchmarks

EPFL logic synthesis benchmarks

percy

C++ header-only exact synthesis library

bill

C++ header-only reasoning library

SCE-benchmarks

Optimization results for superconducting electronic (SCE) circuits

date2020_experiments

experiments-dac19-flow

Experiments for DAC'19 "Scalable Generic Logic Synthesis: One Approach to Rule Them All"

abc-staticlib

Changes needed to compile ABC as a static library and interface with mockturtle

resyn-benchmarks

A collection of benchmarks for the generalized resynthesis problem

sim-LSV_exp

Benchmarks and pattern files used in the simulation-guided Boolean resubstitution paper

exorcism

Stand-alone library for ABC's exorcism

alice

C++ command shell library

ASPDAC2021_exp

benchmarks-date2019-permutations

Experiments for "Compiling Permutations for Superconducting QPUs"

benchmarks-mig

Best MIG-mapped results of EPFL benchmarks

mockturtle-bench

Micro benchmarking for mockturtle