Did you know ... | Search Documentation: |
Pack pddl_valoptic_api -- t/pddl_files/ZenoTravel/p10_out.txt |
ff: parsing domain file domain 'ZEON' defined ... done. ff: parsing problem file problem 'P10' defined ... done.
ff: found legal plan as follows
step 0: REFUEL PLANE2 CITY0 FL0 FL1 1: FLY PLANE1 CITY0 CITY2 FL6 FL5 2: FLY PLANE1 CITY2 CITY0 FL5 FL4 3: FLY PLANE3 CITY0 CITY4 FL3 FL2 4: FLY PLANE3 CITY4 CITY0 FL2 FL1 5: FLY PLANE2 CITY3 CITY2 FL1 FL0 6: REFUEL PLANE2 CITY0 FL0 FL1 7: FLY PLANE2 CITY2 CITY3 FL1 FL0