Miscellaneous

Various materials...

SMT-LIB ViM syntax file

A very very minimal syntax file for highlighting SMT-LIB v. 2 syntax with ViM.
Follow the instructions given here for configuring ViM, or read the official guide.

Links