EPFL Logic Synthesis Tools

In the logic synthesis group at EPFL, we are developing a lot of open source software. Several core components and libraries are required by several frameworks, and we try to deploy them in separate, well documented, well tested, and easy-to-use libraries.

Core Libraries


kitty

alice
C++ truth table library C++ command shell library
Github | Version 0.2 (Dec 21, 17) Github
Documentation Documentation
MIT license MIT license

Frameworks


CirKit

RevKit
C++ logic synthesis framework C++ quantum compilation framework
Github | More information Github | More information
MIT license MIT license