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