personalReadMe.md

• Run ./fast-downard.py
  • --search: if you give domain and problem files, it will translate and search, e.g --search "astar(lm_cut)") and output.sas file
  • --run-all: t, also needs search options,
• Run ./builds/release/translate.py to only translate
• Run ./builds/release/downward to run the search procedure, requires an output.sas file