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.
git clone --recursive https://github.com/msoeken/cirkit.git cd cirkit mkdir build cd build cmake .. make cirkit cd ..
Run CirKitAfter a successful compilation, run
./build/cli/cirkitfrom the main directory.
- Linux, Mac, or Windows
- 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)