Fork me on GitHub


CirKit is an open source C++ logic synthesis framework. Besides a powerful API it offers a command line interface application similar to SIS or ABC. The main underlying logic data structure is an AND-inverter graph. Further, it consists of a simple BDD and ZDD package, a generic interface to SAT solvers, several useful helper functions, and an API to create commands for the command line interface.

Download CirKit

Install CirKit

git clone
cd cirkit
mkdir build
cd build
cmake ..
make external
make cirkit
cd ..

Run CirKit

After a successful compilation, run
from the main directory.


Information on how to use CirKit can be found here.


  • Linux or Mac
  • git
  • cmake (at least version 3.0.0)
  • g++ (at least version 4.9.0) or clang++ (at least version 3.5.0)
  • boost (at least version 1.56.0)
  • GNU MP, and its C++ interface GMP++
  • GNU readline (optional)