Gilberto's Source

hg clone http://hg@bitbucket.org/tkeller/prost ${HOME}/dev/prost/ cd ${HOME}/dev/prost/src/search make cd ${HOME}/dev/prost/src/rddl_parser make cd ${HOME}/dev/prost/testbed ./initialize_testbed.py ${HOME}/dev/rddlsim ln -s ${HOME}/dev/rddlsim/ ${HOME}/dev/prost/testbed/rddlsim