/
.clang-format
.github
.gitignore
.mailmap
.travis.yml
AUTHORS
CMakeLists.txt
COPYING
INSTALL.md
NEWS
README.md
THANKS
cmake
configure.sh
contrib
cvc4autoconfig.h.in
doc
examples
licenses
proofs
src
test