CirKit

Logic synthesis and optimization framework

CirKit is a C++ framework for logic synthesis and optimization, offering data structures for AIGs, MIGs, and other graph representations alongside algorithms for rewriting, mapping, and verification. It exposes an interactive shell and Python/shell scripting interface, and integrates with external tools such as ABC and SAT solvers.