本研究提供了一款开源工具，用于高效操作布尔电路，解决电路分析与合成问题。该工具在可满足性、合成和最小化任务中表现优异，帮助我们在IWLS 2024编程竞赛中获胜，电路规模平均减少12%。