A VIM plugin that adds support for the BTOR2 word-level model checking format
Primary LanguageVim ScriptMIT LicenseMIT