SMT-LIB Language Support in Atom

Adds syntax highlighting and snippets for the SMT-LIB language to Atom.

Feel free to provide feature requests or bug reports using the link above.

Code contributions are greatly appreciated. Please fork this repository and open a pull request to add snippets, make grammar tweaks, etc.

Build / Test Status