Did you know ... | Search Documentation: |
Pack pddl_valoptic_api -- t/pddl_files/ZenoTravel/p3_out.txt |
ff: parsing domain file domain 'ZEON' defined ... done. ff: parsing problem file problem 'P3' defined ... done.
ff: found legal plan as follows
step 0: FLY PLANE1 CITY0 CITY1 FL6 FL5 1: BOARD PERSON1 PLANE1 CITY1 2: FLY PLANE1 CITY1 CITY2 FL5 FL4 3: DEBARK PERSON1 PLANE1 CITY2 4: BOARD PERSON1 PLANE1 CITY2 5: FLY PLANE1 CITY2 CITY3 FL4 FL3 6: DEBARK PERSON1 PLANE1 CITY3 7: BOARD PERSON1 PLANE1 CITY3 8: FLY PLANE1 CITY3 CITY4 FL3 FL2 9: DEBARK PERSON1 PLANE1 CITY4