https://github.com/calvin-l/sublime-smtlib
SMTLIB syntax highlighting for Sublime Text 3
https://github.com/calvin-l/sublime-smtlib
smtlib sublime-text-3 syntax-highlighting
Last synced: about 2 months ago
JSON representation
SMTLIB syntax highlighting for Sublime Text 3
- Host: GitHub
- URL: https://github.com/calvin-l/sublime-smtlib
- Owner: Calvin-L
- License: mit
- Created: 2019-01-31T01:59:55.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2020-03-22T20:19:01.000Z (about 5 years ago)
- Last Synced: 2025-01-31T12:23:57.463Z (4 months ago)
- Topics: smtlib, sublime-text-3, syntax-highlighting
- Language: SMT
- Size: 22.5 KB
- Stars: 4
- Watchers: 3
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# SMTLIB Syntax
This package contains [SMTLIB](http://smtlib.cs.uiowa.edu/) syntax highlighting
for Sublime Text 3.
## Quickstart
This package is not yet in [package control](https://packagecontrol.io/), 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](https://www.sublimetext.com/docs/3/packages.html). The packages folder
location varies by platform so it is not documented here.
## Notes
- The highlighting matches files with the `.smt2` extension.