Back to leaderboard 
SMT Z3
Soaibuzzaman.smt-z3
VS Code extension for SMT-LIB scripts with Z3 solver integration via WebAssembly.
__ext_smt2smtsmt-libsmt-lib-v2smt2z3Programming Languages
Open VSX
Total downloads
2,438
Since yesterday
+4
Current version
v4.16.0
Days tracked
6
Download history
Snapshot log
| Scraped at (UTC) | Open VSX DLs | Version |
|---|---|---|
| 2026-07-03 08:30:39 | 2,438 | v4.16.0 |
| 2026-07-02 02:00:00 | 2,434 | v4.16.0 |
| 2026-07-01 02:00:00 | 2,430 | v4.16.0 |
| 2026-06-30 02:00:00 | 2,394 | v4.16.0 |
| 2026-06-29 14:14:45 | 2,394 | v4.16.0 |
| 2026-06-28 07:06:24 | 2,390 | v4.16.0 |