GitHub - siftech/metric-ff: SIFT fork of Metric-FF 2.0 with local patches

siftech / metric-ff Public

SIFT fork of Metric-FF 2.0 with local patches

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 26 Commits
docker		docker
Dockerfile		Dockerfile
expressions.c		expressions.c
expressions.h		expressions.h
ff.h		ff.h
gitlab-ci.yml		gitlab-ci.yml
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
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

Provide feedback