Aavailable on the Visual Studio Marketplace
Z3 VS Code Extension#
A Visual Studio Code extension for the SMT Z3 theorem prover. The extension provides a user-friendly interface to run the Z3 solver in the VS Code editor without installing Z3 separately. Additionally, it supports syntax highlighting.
soaibsafi/smt-z3-vscode
VSCode extension for SMT2 language with Z3 solver
TypeScript
0
0
Feature Image: Same-Fall-9325 from reddit