{
  "name": "SMT",
  "type": "programming",
  "extensions": [
    ".smt2",
    ".smt"
  ],
  "interpreters": [
    "boolector",
    "cvc4",
    "mathsat5",
    "opensmt",
    "smtinterpol",
    "smt-rat",
    "stp",
    "verit",
    "yices2",
    "z3"
  ],
  "tmScope": "source.smt",
  "aceMode": "text",
  "languageId": 330
}