GitHub repository: raichoo/smt-vim
Primary language: VimL
Created: 2015-05-19T19:18:43Z
Description: Vim files for SMT-LIB 2 support