GitHub - quickbeam123/PDRplanADL: Experimental version of PDRplan based on FF parser to deal with ADL (and expected to use an encoding and Minisat)

quickbeam123 / PDRplanADL Public

Experimental version of PDRplan based on FF parser to deal with ADL (and expected to use an encoding and Minisat)

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
.gitignore		.gitignore
Main.cpp		Main.cpp
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_orig.c		main_orig.c
makefile		makefile
memory.c		memory.c
memory.h		memory.h
orderings.c		orderings.c
orderings.h		orderings.h
output.c		output.c
output.h		output.h
parse.c		parse.c
parse.h		parse.h
relax.c		relax.c
relax.h		relax.h
scan-fct_pddl.y		scan-fct_pddl.y
scan-ops_pddl.y		scan-ops_pddl.y
search.c		search.c
search.h		search.h