Design Automation in Wonderland The EPFL Logic Synthesis Libraries