The EPFL Logic Synthesis Libraries

2 code implementations • 14 May 2018 • Mathias Soeken, Heinz Riener, Winston Haaswijk, Giovanni De Micheli

We present a collection of modular open source C++ libraries for the development of logic synthesis applications.

Logic in Computer Science Mathematical Software