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