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.
git clone https://github.com/msoeken/cirkit.git cd cirkit mkdir build cd build cmake .. make external make cirkit cd ..
Run CirKitAfter a successful compilation, run
./build/programs/cirkitfrom the main directory.
DocumentationInformation on how to use CirKit can be found here.
- Linux or Mac
- 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)