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

findPlan()