/vim-smt2

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

Primary LanguageVim ScriptMIT LicenseMIT

No issues in this repository yet.