Did you know ... | Search Documentation: |
Pack pddl_valoptic_api -- t/pddl_files/ZenoTravel/p8_out.txt |
ff: parsing domain file domain 'ZEON' defined ... done. ff: parsing problem file problem 'P8' defined ... done.
ff: found legal plan as follows
step 0: FLY PLANE1 CITY0 CITY2 FL6 FL5 1: FLY PLANE1 CITY2 CITY3 FL5 FL4 2: FLY PLANE1 CITY3 CITY0 FL4 FL3