Showcase examples for EPFL logic synthesis libraries - View it on GitHub