smtlib-lang README

This extention provides syntax highlighting for SMT-LIB based on the Texmate syntax defined at https://github.com/SRI-CSL/SMT.tmbundle

git-repo: git@github.com:mayanksolanki393/vscode-smtlib-lang.git

Features

• commenting multiple lines using ctrl-k ctrl-c
• Uncommenting multiple lines using ctrl-k ctrl-u
• (push 1)(pop 1) are foldable