This repository combines all the various tools and libraries needed for building super_prove.

Binaries

Recent builds should be available at the releases pages or our downloads page.

How to build this tool

Requirements

• CMake 3.3 or above
• Ninja build tool
• g++ 4.8 or above (or clang with similar levels of C++11 support)
• Python 2.7 with development headers and libraries
• Python setuptools
• Python pip tool
• Git

For example, in Ubuntu 16.04, run the following command to satisfy all the requirements:

sudo apt-get install cmake ninja-build g++ python-dev python-setuptools python-pip git

Note that the version of CMake included in previous Ubuntu releases is too old. This requires CMake 3.3 or later to be manually installed.

Checking out the code

This repository uses Git submodules to collect a few repositories with the code required to build this tool

git clone --recursive https://github.com/sterin/super-prove-build

This will checkout all the relevant subrepositories

Building the tool

Create a build directory:

mkdir build

Change into the new directory:

cd build

Configure:

cmake -DCMAKE_BUILD_TYPE=Release -G Ninja ..

(replace .. with the top-level featrues_build directory)

Build:

ninja

Create a package:

ninja package

This will create a super_prove_--Release.tar.gz in the build directory.

How to run this tool

Extract the .tar.gz file and runRun the run.sh script in the bin subdirectory

super_prove/bin/super_prove.sh [-n] <some_aig_file.aig>

Try the --help flag to see the available options.