This repo contains 2 IPC2023 entries.
Planner functionality is briefly described in the corresponding papers. Papers are available in the repo.
CSP-based Partial Order planner
Usage:
optiplan.jar csp po $DOMAINFILE $PROBLEMFILE
To execute via apptainer:
sudo apptainer build OptiPlan.sif OptiPlan.def
apptainer run OptiPlan.sif [hddl domain] [hddl problem]
SMT-based Total Order planner
To execute via apptainer:
sudo apptainer build ltp.sif LiftedTreePath.def
apptainer run ltp.sif [hddl domain] [hddl problem]