A VIM plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
Primary LanguageVim ScriptMIT LicenseMIT