CirKit

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

github.com/msoeken/cirkit

Install CirKit

git clone --recursive https://github.com/msoeken/cirkit.git
cd cirkit
mkdir build
cd build
cmake ..
make cirkit
cd ..

Run CirKit

After a successful compilation, run

./build/cli/cirkit

from the main directory.

Requirements

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)