bohlender/vim-smt2

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

语言：Vim Script · GitHub 星标：41 · Fork：4

话题：formatter · smt · smtlib · syntax-highlighting · vim-plugin · z3

在 GitHub 上查看原仓库