/vscode-smt

TextMate grammar for SMT-LIB and its extensions.

MIT LicenseMIT

Watchers