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