MADLAPlanner

requirements: Java 1.7, Python

Run:

run_local.sh <domain folder> <problem name> <configuration> <recursion limit> <time limit/min>

Example:

run_local.sh rovers p01 PPsaFF-glcl -1 10

See wiki for explanation