Dependencies

Install the following softwares on your machine:

PSI
Python 3.6
Mathematica 11
git clone https://github.com/eth-srl/psi.git
cd psi
chmod +x dependencies.sh
./dependencies.sh && ./build.sh
cd ..

Downloading PSense

You can install PSense by running the following:

git clone https://github.com/yekerr/PSense.git
cd PSense

Configuring PSense

Add psense and MathematicaScript to your System by running the following:

cd PSense
chmod +x build.sh
./build.sh
cd ..

Add psi to your System PATH by the following:

cd psi #if you named the directory containing psi differently, replace 'psi' with your path to psi
export PATH=$PATH:`pwd`

*NOTE: build.sh has been tested on Linux and Mac systems.

Running PSense

Run the following commend to analyze the probabilistic program coins.psi:

psense -f examples/coins.psi

Detailed options can be found in the Manual.


Return to Homepage