Soaibuzzaman.smt-z3

SMT Z3

Total downloads

2,342

7d gain

22

Rolling weekly delta

Rating

- / 5

0 reviews

Version

4.16.0

Latest published

Activity

Extension trends

Manifest

Metadata

Namespace: Soaibuzzaman
Name: smt-z3
License: MIT
Homepage: https://github.com/soaibsafi/smt-z3-vscode/#readme
Repository: git+https://github.com/soaibsafi/smt-z3-vscode/.git
Reviews: 0

Taxonomy

Categories

Programming Languages

Description

VS Code extension for SMT-LIB scripts with Z3 solver integration via WebAssembly.

Archive

Release history

8 latest releases