marcofavorito / PAC-RDPs-code

Code for the PAC-RDP paper.

Implementation of PAC algorithm for RDPs.

Setup

• Make sure you have Python 3.7+ on your platform.
• Install Pipenv
• Clone the repository and enter it:

git clone https://github.com/marcofavorito/PAC-RDPs-code.git && cd PAC-RDPs-code

• Set up the Python virtual environment:

pipenv shell && pipenv install --dev

• Install Graphviz if you want to use the rendering features.

Quickstart

Please have a look at the notebooks/ to see how to use the code.

You might need

PYTHONPATH="`pwd`:$PYTHONPATH"