PropPlan Online 2008
see also
PropSat
Domain
User defined
PDDL Domain
Problem
User defined
PDDL Problem
Results