Did you know ... | Search Documentation: |
Pack pddl_valoptic_api -- t/pddl_files/ZenoTravel/p5_out.txt |
ff: parsing domain file domain 'ZEON' defined ... done. ff: parsing problem file problem 'P5' defined ... done.
ff: found legal plan as follows
step 0: BOARD PERSON2 PLANE1 CITY0 1: FLY PLANE1 CITY0 CITY1 FL6 FL5 2: BOARD PERSON1 PLANE1 CITY1 3: FLY PLANE1 CITY1 CITY3 FL5 FL4 4: DEBARK PERSON1 PLANE1 CITY3 5: DEBARK PERSON2 PLANE1 CITY3