If want to use docker, please see BuildRun-Docker.md instead.
Follow the steps below to build directly on the host machine. Ubuntu 18.04 and Ubuntu 20.04 are tested.
It requires dotnet-sdk-5.0 and dotnet-runtime-3.1 to build and run.
The source of StrPROSE is in the ./StrPROSE-synthesizer folder.
See Details-StrPROSE.md for detailed building process.
It requires gcc (support C++11), CMake(3.10+), gmp 6.2.1 to build.
The source of StrSTUN is in the ./StrSTUN-synthesizer folder.
See Details-StrSTUN.md for detailed building process.
It requires python3 (tested on python3.7 and python3.8) with the following package installed:
Flask, Flask-Cors,
Flask-RESTful, psutil, and requests.
See Details-SynGuar.md for detailed installation process.
To run the evaluation, please see Evaluation.md.
To run the synthesizers manually, please see Details-StrPROSE.md and Details-StrSTUN.md.
To run the SynGuar algorithm with specified synthesizer on i.i.d. samples, see Details-SynGuar.md.