About

Syntax-based invariant synthesis with Spacer

Install

pip install pysmt
cd sygspacer ; mkdir build ; cd build
cmake -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=run ../
cmake --build . to build sygspacer
cmake --build . --target install to install everything in run directory
cmake --build . --target package to package everything.

Usage

TBD

Contact

Temesghen Kahsai
Arie Gurfinkel