We present an open-source tool for manipulating Boolean circuits. It implements efficient algorithms, both existing and novel, for a rich variety of frequently used circuit tasks such as satisfiability, synthesis, and minimization. We tested the tool on a wide range of practically relevant circuits (computing, in particular, symmetric and arithmetic functions) that have been optimized intensively by the community for the last three years. The tool helped us to win the IWLS 2024 Programming Contest. In 2023, it was Google DeepMind who took the first place in the competition. We were able to reduce the size of the best circuits from 2023 by 12\% on average, whereas for some individual circuits, our size reduction was as large as 83\%.

翻译：我们提出了一种用于操作布尔电路的开源工具。该工具实现了高效算法（包括现有算法与新颖算法），用于处理多种常用电路任务，如可满足性、综合与最小化。我们在大量实际相关电路（特别是计算对称函数与算术函数的电路）上对该工具进行了测试，这些电路在过去三年中已被学术界进行了深度优化。该工具帮助我们在IWLS 2024编程竞赛中获胜。2023年，该竞赛的冠军由Google DeepMind获得。我们成功将2023年最佳电路的平均规模降低了12%，而对某些特定电路，我们的规模缩减幅度高达83%。