{"about":{"site":"https://codewithpapers.app","non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page"},"url":"/paper/the-epfl-logic-synthesis-libraries","title":"The EPFL Logic Synthesis Libraries","arxiv_id":"1805.05121","date":"2018-05-14","proceeding":null,"authors":["Mathias Soeken","Heinz Riener","Winston Haaswijk","Eleonora Testa","Bruno Schmitt","Giulia Meuli","Fereshte Mozafari","Siang-Yun Lee","Alessandro Tempia Calvino","Dewmini Sudara Marakkalage","Giovanni De Micheli"],"abstract":"We present a collection of modular open source C++ libraries for the development of logic synthesis applications. These libraries can be used to develop applications for the design of classical and emerging technologies, as well as for the implementation of quantum compilers. All libraries are well documented and well tested. Furthermore, being header-only, the libraries can be readily used as core components in complex logic synthesis systems.","url_abs":"https://arxiv.org/abs/1805.05121v3","url_pdf":"https://arxiv.org/pdf/1805.05121v3.pdf","source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","row_kind":"links_only","authors_date_abstract":"arXiv metadata, CC0 1.0 (https://info.arxiv.org/help/license), from the Kaggle arXiv metadata snapshot of 2026-09-12"},"code_links":[{"paper_slug":"the-epfl-logic-synthesis-libraries","repo_url":"https://github.com/lsils/lstools-showcase","is_official":1,"mentioned_in_paper":1,"mentioned_in_github":1,"framework":"none","reach":null},{"paper_slug":"the-epfl-logic-synthesis-libraries","repo_url":"https://github.com/LNIS-Projects/LSOracle","is_official":0,"mentioned_in_paper":0,"mentioned_in_github":1,"framework":"none","reach":null}],"tasks":[],"methods":[],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"atlas_url":null,"mcp":null,"developers":"https://syntology.ai/developers"},"arxiv_metadata":null,"syntology_extracted_results":null}