towers2_strips.txt

Initial state: On(Disk2, Disk3), On(Disk3, Pole1), Clear(Disk2), Clear(Pole2), Clear(Pole3), Smaller(Disk2, Pole1), Smaller(Disk2, Pole2), Smaller(Disk2, Pole3), Smaller(Disk3, Pole1), Smaller(Disk3, Pole2), Smaller(Disk3, Pole3), Smaller(Disk2, Disk3)
Goal state: On(Disk2, Disk3), On(Disk3, Pole3)

Actions:
               // Move a disk from source to dest
               Move(Disk, Source, Dest)
               Preconditions: Clear(Disk), On(Disk, Source), Clear(Dest), Smaller(Disk, Dest)
               Postconditions: On(Disk, Dest), !On(Disk, Source), !Clear(Dest), Clear(Source)