btor2

There are 1 repositories under btor2 topic.

  • phlo/vim-btor2

    A VIM plugin that adds support for the BTOR2 word-level model checking format

    Language:Vim Script2200