rich
1.0
VIM plugin that supports SMT-LIB2 (incl. Z3's extensions)
balddenimhero
https://asciinema.org/~balddenimhero
asciinema
https://asciinema.org/
https://asciinema.org/a/144632.png
1785
856
<a href="https://asciinema.org/a/144632" target="_blank"><img alt="VIM plugin that supports SMT-LIB2 (incl. Z3's extensions)" src="https://asciinema.org/a/144632.png" width="1785"></a>
1785
856