bohlender/vim-smt2

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

Vim ScriptStars 41Forks 4Watchers 41Open issues 0License MIT License

Details

仓库信息

Ownerbohlender

Homepage—

Last pushed2025-10-17

Last updated2025-12-15

Issues fetched at—

Community at a glance