Did you know ... Search Documentation:
Pack logicmoo_ec -- test/pddl_tests/ZenoTravel/p15b_out.txt

ff: parsing domain file domain 'ZEON' defined ... done. ff: parsing problem file problem 'P15B' defined ... done.

Cueing down from goal distance: 13 into depth [1] 12 [1] 11 [1] 10 [1] 9 [1][2] 8 [1][2][3][4][5][6] 7 [1][2] 6 [1] 5 [1][2][3][4][5][6]