1 | declare const _: {
|
2 | "name": "SMT",
|
3 | "type": "programming",
|
4 | "extensions": [
|
5 | ".smt2",
|
6 | ".smt"
|
7 | ],
|
8 | "interpreters": [
|
9 | "boolector",
|
10 | "cvc4",
|
11 | "mathsat5",
|
12 | "opensmt",
|
13 | "smtinterpol",
|
14 | "smt-rat",
|
15 | "stp",
|
16 | "verit",
|
17 | "yices2",
|
18 | "z3"
|
19 | ],
|
20 | "tmScope": "source.smt",
|
21 | "aceMode": "text",
|
22 | "languageId": 330
|
23 | }
|
24 | export = _
|