roveri-marco / parallel-pdr

Parallel PDR

A tool to solve PDDL problems via variations of Property Directed Reachability (PDR).

Resource on PDDL: http://users.cecs.anu.edu.au/~patrik/pddlman/writing.html

Resource on PDR: https://icaps21.icaps-conference.org/workshops/KEPS/Papers/KEPS_2021_paper_9.pdf

Uses the tool Madagascar for parsing available from: https://users.aalto.fi/~rintanj1/software.html

Uses the tool dagster from https://github.com/ANU-HPC/dagster

Setup

MPI, GLOG, and CUDD are required. These can all be installed by the script at summer1819/nodocker.sh

Once cloned run:

./setup.sh && make

Running

Many parameters of the solver can be set at runtime through an extra_settings file. An example of such a file is the set file provided. Some notable parameters are:

Parameter	Explanation
dagster n	n=0 will solve the problem serially, n=1 will solve the problem in parallel via MPI.
mpi_nodes n	If solving in parallel, the number of nodes to use.
report_plan n	n=0 or n=1, whether to record, create and validate a plan if one exists.

To run:

./run.sh domain_file problem_file settings_file

An example invocation script can be found at example.sh

Author

Marshall Clifton [email protected]