.gitignore

# IDE Files
.idea

# Byte-compiled / optimized / DLL files
__pycache__/
*.py[cod]
*$py.class

# PyInstaller
#  Usually these files are written by a python script from a template
#  before PyInstaller builds the exe, so as to inject date/other infos into it.
*.manifest
*.spec

# Other files

*_prime.pddl

*downward.*

planning/FOND-SAT/minisat
planning/FOND-SAT/formula-extra-temp.txt
planning/FOND-SAT/formula-temp.txt
planning/FOND-SAT/formula-temp.txtheader
planning/FOND-SAT/outputtrans-temp.sas
planning/FOND-SAT/plan_.txt

planning/PRP/build_all
planning/PRP/cleanup
planning/PRP/plan
planning/PRP/validate-prp
planning/PRP/prp
planning/PRP/VAL/*.*
planning/PRP/search/*.*
planning/PRP/preprocess/*.*

elapsed.time
output.sas
graph.pdf
graph.dot
output
output.sas
plan_numbers_and_cost
policy-translated.out
policy-with-trans.out
problem.pddl
policy.fsap
policy.out
sas_plan
policy.txt
policy.pdf
recognition/domain.pddl
recognition/hyps.dat
recognition/initial_state.pddl
recognition/obs.dat
recognition/observability.dat
recognition/real_hyp.dat