VS Code Extension for SMT-LIB (Z3)