/src/include/
../
.gitignore
cvc4_config.h
cvc4_private.h
cvc4parser_private.h