| 1 | export default {
|
| 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 | }
|