search

Cranial-XIX / llm-pddl

355 stars 31 forks source link

valid problem #4

Closed JiaxinQin0814 closed 1 year ago

JiaxinQin0814 commented 1 year ago

when running validate_plans.py I got FileNotFoundError: [Errno 2] No such file or directory: './downward/validate' gould you please update a complete instruction on validating?

JiaxinQin0814 commented 1 year ago

the official downward repo does not have a validate file inside it, how did you finish that?

YuqianJiang commented 1 year ago

validate is a 3rd party tool that is also used by Downward. You can compile it from https://github.com/KCL-Planning/VAL

Check this page for how it is installed inside Downward.

The commands are copied below:

git clone https://github.com/KCL-Planning/VAL.git
cd VAL
git checkout a5565396007eee73ac36527fbf904142b3077c74
make clean  # Remove old build artifacts and binaries.
sed -i 's/-Werror //g' Makefile  # Ignore warnings.
make -j2
mv validate ../
Cranial-XIX commented 1 year ago

I will mark this as closed. Please let us know if you have further questions.