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

findPlan()