balddenimhero Joined on October 28, 2017

3 public recordings by balddenimhero

vim-smt2 can also format a solver's output 00:20

by balddenimhero 2 years ago

Z3 issue #2784 01:12

by balddenimhero 4 years ago

VIM plugin that supports SMT-LIB2 (incl. Z3's extensions) featured 00:51

by balddenimhero 6 years ago