EPFL Logic Synthesis LibrariesΒΆ