linguist-languages
Version:
Linguist languages.yml in JSON format
25 lines (24 loc) • 361 B
text/typescript
declare const _: {
"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
}
export default _