Synthesis of ProbabIlistic pRivacy Enforcement (Spire) is a tool for synthesizing privacy enforcements for probabilistic programs written in C#. Fore more information, see the project website.
Install the package repositary of the mono project as described at their download page, and then:
sudo apt-get install mono-devel sudo apt-get install nuget
While building Z3, use the
--dotnet parameter with
To build the project, use:
To run Spire, Psi needs to be installed.