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: 23 days 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 (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2020-03-22T20:19:01.000Z (almost 5 years ago)
• Last Synced: 2024-10-16T08:10:43.185Z (2 months ago)
• Topics: smtlib, sublime-text-3, syntax-highlighting
• Language: SMT
• Size: 22.5 KB
• Stars: 4
• Watchers: 3
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project