* linguist-detectable=false
*.smt2 linguist-detectable=true linguist-language=SMT