PSE

Prerequisites

sudo apt-get install build-essential cmake
sudo apt-get install zlib1g.dev
sudo apt-get install libgmp-dev

mkdir build && cd build
cp ../scripts/build.sh .
chmod u+x build.sh
./build.sh

Use "PSE --help" to see the usage of the tool.

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
scripts		scripts
solvers		solvers
src		src
README.md		README.md