Links for pddl-prover