berkeley-abc/abc

Here's a 2-3 sentence summary of the berkeley-abc/abc open-source project: Berkeley ABC is an open-source system for sequential logic synthesis and formal verif