Tough to read that - if only he knew about PDDL and classical AI planning he could have written a simple model and solved it with metric-ff, an off the shelf planner