PPDDL_determinization

To compile, you need to specify where are the VAL sources located, by adding the -DVAL_FILES=<path_to_val> when running cmake.

For more help open an issue or contacte me to gcanal (at) iri.upc.edu