C++ logic network library

EPFL logic synthesis benchmarks

C++ truth table library

C++ parsing library for simple formats used in logic synthesis and formal verification

C++ logic network library

A tiling window manager for X11

ABC: System for Sequential Logic Synthesis and Formal Verification

Showcase examples for EPFL logic synthesis libraries