# The EPFL Logic Synthesis Libraries

arXiv: https://arxiv.org/abs/1805.05121 · HTML: https://mlsanity.com/paper/1805.05121/

## Key facts

- Cited by 6 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 14 May 2018.

## Built on by (most cited first, 6 of 6)

- [Framework and Benchmarks for Combinatorial and Mixed-variable Bayesian Optimization](https://mlsanity.com/paper/2306.09803/) (2023)
- [OpenLS-DGF: An Adaptive Open-Source Dataset Generation Framework for Machine Learning Tasks in Logic Synthesis](https://mlsanity.com/paper/2411.09422/) (2024)
- [Adaptive Reconvergence-driven AIG Rewriting via Strategy Learning](https://mlsanity.com/paper/2312.14536/) (2023)
- [SAT-based Circuit Local Improvement](https://mlsanity.com/paper/2102.12579/) (2021)
- [Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis](https://mlsanity.com/paper/2412.14933/) (2024)
- [QEncodeBench: Can Large Language Models Encode Classical Problems into Verified Quantum Oracles?](https://mlsanity.com/paper/2609.20319/) (2026)

## Abstract (arXiv)

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.