 | smt-lib-syntaxSyntax Highlighting for SMT-LIB Installation Launch VS Code Quick Open ( Ctrl+P), paste the following command, and press enter.Copied to clipboard |
smt-lib-syntax READMESyntax highlighting for SMT-LIB based on the Texmate syntax defined at https://github.com/SRI-CSL/SMT.tmbundle |