CirKit is a software library and framework for logic synthesis.
This is the quick installation guide for CirKit and RevKit assuming that all requirements are met.
Use git to build CirKit with the following steps
git clone --recursive https://github.com/msoeken/cirkit.git
mkdir build
cd build
cmake ..
make cirkit
CirKit can be executed with
build/programs/cirkit
Use git to build RevKit with the following steps
git clone --recursive https://github.com/msoeken/cirkit.git
mkdir build
cd build
cmake -Denable_cirkit-addon-reversible=ON -Denable_cirkit-addon-formal=ON ..
make revkit
RevKit can be executed with
build/programs/revkit
The documentation can be found at cirkit.readthedocs.io.