bohlender / vim-smt2

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

Related projects

Alternatives and complementary repositories for vim-smt2