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 |