/

• .clang-format
• .dockerignore
• .gitattributes
• .gitignore
• .travis.yml
• .travis
• CMakeLists.txt
• Dockerfile
• LICENSE.TXT
• Makefile
• Makefile.common
• Makefile.config.in
• Makefile.rules
• MetaSMT.mk
• NEWS
• README-CMake.md
• README.md
• TODO.txt
• autoconf
• cmake
• configure
• docs
• examples
• include
• lib
• runtime
• scripts
• test
• tools
• unittests
• utils