COLIN: Planning with Continuous Linear Numeric Change
VHPOP: Versatile Heuristic Partial Order Planner