Did you know ... | Search Documentation: |
Pack pddl_valoptic_api -- t/pddl_files/ZenoTravel/p9_out.txt |
ff: parsing domain file domain 'ZEON' defined ... done. ff: parsing problem file problem 'P9' defined ... done.
ff: found legal plan as follows
step 0: REFUEL PLANE2 CITY0 FL0 FL1 1: FLY PLANE2 CITY3 CITY2 FL1 FL0 2: REFUEL PLANE2 CITY0 FL0 FL1 3: FLY PLANE2 CITY2 CITY3 FL1 FL0 4: REFUEL PLANE2 CITY0 FL0 FL1 5: FLY PLANE2 CITY3 CITY2 FL1 FL0 6: REFUEL PLANE2 CITY0 FL0 FL1 7: FLY PLANE2 CITY2 CITY0 FL1 FL0