Fork me on GitHub

CirKit

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

github.com/msoeken/cirkit

Install CirKit

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

Run CirKit

After a successful compilation, run
./build/programs/cirkit
from the main directory.

Documentation

Information on how to use CirKit can be found here.

Requirements

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