{"type":"rich","version":1.0,"title":"VIM plugin that supports SMT-LIB2 (incl. Z3's extensions)","width":1785,"html":"<a href=\"https://asciinema.org/a/144632\" target=\"_blank\"><img alt=\"VIM plugin that supports SMT-LIB2 (incl. Z3&#39;s extensions)\" src=\"https://asciinema.org/a/144632.png\" width=\"1785\"></a>","height":856,"author_name":"balddenimhero","author_url":"https://asciinema.org/~balddenimhero","provider_url":"https://asciinema.org/","thumbnail_url":"https://asciinema.org/a/144632.png","thumbnail_width":1785,"thumbnail_height":856,"provider_name":"asciinema"}