linguist-languages
Version:
Linguist languages.yml in JSON format
24 lines (23 loc) • 344 B
JavaScript
module.exports = {
"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
}