Trauc is a theorem prover based on Z3
TravisCI |
---|
Trau is know to work under Linux using g++(>= 6) and OSX
using XCode(>= 9.4) with C11 support.
Before attempting to build Trauc, you need to have the
following installed
For Ubuntu16 or 18, you can use apt-get
to install libgmp,
ppl and libmpfr.
~$ sudo apt-get install libgmp-dev libmpfr-dev ppl-dev
To install openfst and apron, you can refer to the travis-ci build script.
For OSX users, you can refer to this script to install ppl.
Create a new folder and use cmake to build Trauc.
mkdir trauc-build
cd trauc-build
cmake /path/to/trauc-repo
make
Refer to README-CMake.md for more options on cmake.