adl2strips

ADL to STRIPS converter from Joerg Hoffmann

Name		Name	Last commit message	Last commit date
Latest commit History 13 Commits
.github/workflows		.github/workflows
.gitignore		.gitignore
README.md		README.md
ff.h		ff.h
inst_easy.c		inst_easy.c
inst_easy.h		inst_easy.h
inst_final.c		inst_final.c
inst_final.h		inst_final.h
inst_hard.c		inst_hard.c
inst_hard.h		inst_hard.h
inst_pre.c		inst_pre.c
inst_pre.h		inst_pre.h
lex-fct_pddl.l		lex-fct_pddl.l
lex-ops_pddl.l		lex-ops_pddl.l
main.c		main.c
makefile		makefile
memory.c		memory.c
memory.h		memory.h
output.c		output.c
output.h		output.h
parse.c		parse.c
parse.h		parse.h
scan-fct_pddl.y		scan-fct_pddl.y
scan-ops_pddl.y		scan-ops_pddl.y

Provide feedback