Fork me on GitHub


CirKit is an open source C++ logic synthesis framework. It offers a command line interface application similar to SIS or ABC. It is based on the logic synthesis libraries mockturtle for logic networks, and kitty for truth table representation and manipulation. It uses alice to create commands for the command line interface and to expose a Python interface.

Download CirKit

Install CirKit

git clone --recursive
cd cirkit
mkdir build
cd build
cmake ..
make cirkit
cd ..

Run CirKit

After a successful compilation, run
from the main directory.


  • Linux, Mac, or Windows
  • git
  • cmake (at least version 3.8.0)
  • g++ (at least version 7.3.0) or clang++ (at least version 6.0.0)
  • GNU readline (optional)