HTTPS SSH
This is the demo submission repository of the (discrete) probabilistic
tracks of IPC 2018. For demonstration purposes, it contains a version of
the Prost planner that is idential to the latest version of Prost taken
from https://bitbucket.org/tkeller/prost (except for this README file).

The only relevant addition is a file called "Singularity" that can be
found in the root folder after updating to one of the branches
ipc2018-probabilistic-discrete-mdp, ipc2018-probabilistic-discrete-ssp
or ipc2018-probabilistic-discrete-data-based.