#

btor2

Here is 1 public repository matching this topic...

phlo / vim-btor2

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

syntax-highlighting vim-plugin smt btor2 boolector

Updated Jan 31, 2019
Vim Script

Improve this page

Add a description, image, and links to the btor2 topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the btor2 topic, visit your repo's landing page and select "manage topics."