A VIM plugin that adds support for the BTOR2 word-level model checking format
Primary LanguageVim ScriptMIT LicenseMIT
No issues in this repository yet.