cff287e870
🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude <noreply@anthropic.com>
22 lines
337 B
TypeScript
Executable File
22 lines
337 B
TypeScript
Executable File
declare const _: {
|
|
name: 'SMT'
|
|
type: 'programming'
|
|
aceMode: 'text'
|
|
extensions: ['.smt2', '.smt', '.z3']
|
|
languageId: 330
|
|
tmScope: 'source.smt'
|
|
interpreters: [
|
|
'boolector',
|
|
'cvc4',
|
|
'mathsat5',
|
|
'opensmt',
|
|
'smtinterpol',
|
|
'smt-rat',
|
|
'stp',
|
|
'verit',
|
|
'yices2',
|
|
'z3',
|
|
]
|
|
}
|
|
export default _
|