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

findPlan()