Total downloads
142
Soaibuzzaman.cvc5-smt-solver
cvc5 SMT Solver
7d gain
36
Rolling weekly delta
Rating
-
/ 5
0 reviews
Version
1.3.4
Latest published
Activity
Extension trends
Manifest
Metadata
- Namespace
- Soaibuzzaman
- Name
- cvc5-smt-solver
- License
- MIT
- Homepage
- https://github.com/soaibsafi/cvc5-vscode/#readme
- Repository
- https://github.com/soaibsafi/cvc5-vscode.git
- Reviews
- 0
Taxonomy
Categories
Description
VS Code extension for SMT-LIB scripts with cvc5 solver integration via WebAssembly.
Archive