This repository combines all the various tools and libraries needed for building super_prove.
Recent builds should be available at our downloads page.
How to build this tool
- 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
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 mercurial
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 Mercurial subrepositories to collect a few repositories with the code required to build this tool
hg clone https://bitbucket.org/sterin/super_prove_build
This will checkout all the relevant subrepositories
Building the tool
Create a build directory:
Change into the new directory:
cmake -DCMAKE_BUILD_TYPE=Release -G Ninja ..
(replace .. with the top-level featrues_build directory)
Create a package:
This will create a super_prove_<version>-<OS>-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
super_prove/bin/super_prove.sh [-n] <some_aig_file.aig>
--help flag to see the available options.