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

findPlan()