Skip to content

Latest commit

 

History

History
19 lines (12 loc) · 581 Bytes

README.md

File metadata and controls

19 lines (12 loc) · 581 Bytes

SMTLIB Syntax

This package contains SMTLIB syntax highlighting for Sublime Text 3.

Quickstart

This package is not yet in package control, so it must be installed manually:

git clone https://github.com/Calvin-L/sublime-smtlib.git

Then move the sublime-smtlib folder to Sublime Text's packages folder. The packages folder location varies by platform so it is not documented here.

Notes

  • The highlighting matches files with the .smt2 extension.