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 --recursive
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)