execfile('lin_plan.py')
execfile('blocks.py')
## Blocks-world sample : Sussman
buildBlocksPlanner(['a', 'b', 'c'],
		   ['(clear b)', '(clear c)', '(on c a)', '(on-table b)', '(on-table a)', 'handempty'],
		   ['(on a b)', '(on b c)'])

findPlan()