/
.clang-format
.gitignore
.mailmap
.travis.yml
AUTHORS
CMakeLists.txt
COPYING
INSTALL
Makefile
Makefile.am
Makefile.builds.in
Makefile.subdir
NEWS
README
RELEASE-NOTES
THANKS
autogen.sh
cmake
config
configure.ac
configure.sh
contrib
cvc4autoconfig.new.h.in
doc
examples
library_versions
licenses
proofs
src
test