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
3,460
Since yesterday
+8
Current version
v5.1.0
Days tracked
65
Download history
Version history
v5.1.0 from v5.0.0
Detected 2026-08-26 02:00 UTC
v5.0.0 from v4.16.0
Detected 2026-07-30 02:00 UTC
Snapshot log
| Scraped at (UTC) | Open VSX DLs | Version |
|---|---|---|
| 2026-08-31 02:00:00 | 3,460 | v5.1.0 |
| 2026-08-30 02:00:00 | 3,452 | v5.1.0 |
| 2026-08-29 02:00:00 | 3,436 | v5.1.0 |
| 2026-08-28 02:00:00 | 3,420 | v5.1.0 |
| 2026-08-27 02:00:00 | 3,398 | v5.1.0 |
| 2026-08-26 02:00:00 | 3,300 | v5.1.0 |
| 2026-08-25 02:00:00 | 3,068 | v5.0.0 |
| 2026-08-24 02:00:00 | 3,064 | v5.0.0 |
| 2026-08-23 02:00:00 | 3,060 | v5.0.0 |
| 2026-08-22 02:00:00 | 3,054 | v5.0.0 |
| 2026-08-21 02:00:00 | 3,052 | v5.0.0 |
| 2026-08-20 02:00:00 | 3,048 | v5.0.0 |
| 2026-08-19 02:00:00 | 3,038 | v5.0.0 |
| 2026-08-18 02:00:00 | 3,034 | v5.0.0 |
| 2026-08-17 02:00:00 | 3,026 | v5.0.0 |
| 2026-08-16 02:00:00 | 3,020 | v5.0.0 |
| 2026-08-15 02:00:00 | 3,016 | v5.0.0 |
| 2026-08-14 02:00:00 | 3,010 | v5.0.0 |
| 2026-08-13 02:00:00 | 3,010 | v5.0.0 |
| 2026-08-12 02:00:00 | 3,006 | v5.0.0 |
| 2026-08-11 02:00:00 | 2,974 | v5.0.0 |
| 2026-08-10 02:00:00 | 2,966 | v5.0.0 |
| 2026-08-09 02:00:00 | 2,960 | v5.0.0 |
| 2026-08-08 02:00:00 | 2,954 | v5.0.0 |
| 2026-08-07 02:00:00 | 2,948 | v5.0.0 |
| 2026-08-06 02:00:00 | 2,932 | v5.0.0 |
| 2026-08-05 02:00:00 | 2,924 | v5.0.0 |
| 2026-08-04 02:00:00 | 2,918 | v5.0.0 |
| 2026-08-03 02:00:00 | 2,890 | v5.0.0 |
| 2026-08-02 02:00:00 | 2,876 | v5.0.0 |
| 2026-08-01 02:00:00 | 2,858 | v5.0.0 |
| 2026-07-31 02:00:00 | 2,836 | v5.0.0 |
| 2026-07-30 02:00:00 | 2,760 | v5.0.0 |
| 2026-07-29 06:50:17 | 2,622 | v4.16.0 |
| 2026-07-28 02:00:00 | 2,612 | v4.16.0 |
| 2026-07-27 02:00:00 | 2,602 | v4.16.0 |
| 2026-07-26 02:00:00 | 2,596 | v4.16.0 |
| 2026-07-25 02:00:00 | 2,586 | v4.16.0 |
| 2026-07-24 02:00:00 | 2,574 | v4.16.0 |
| 2026-07-23 02:00:00 | 2,564 | v4.16.0 |
| 2026-07-22 02:00:00 | 2,544 | v4.16.0 |
| 2026-07-21 02:00:00 | 2,540 | v4.16.0 |
| 2026-07-20 02:00:00 | 2,536 | v4.16.0 |
| 2026-07-19 02:00:00 | 2,532 | v4.16.0 |
| 2026-07-18 02:00:00 | 2,528 | v4.16.0 |
| 2026-07-17 02:00:00 | 2,526 | v4.16.0 |
| 2026-07-16 02:00:00 | 2,526 | v4.16.0 |
| 2026-07-15 02:00:00 | 2,522 | v4.16.0 |
| 2026-07-14 02:00:00 | 2,520 | v4.16.0 |
| 2026-07-13 02:00:00 | 2,516 | v4.16.0 |
| 2026-07-12 02:00:00 | 2,512 | v4.16.0 |
| 2026-07-11 02:00:00 | 2,512 | v4.16.0 |
| 2026-07-10 02:00:00 | 2,508 | v4.16.0 |
| 2026-07-09 05:29:22 | 2,506 | v4.16.0 |
| 2026-07-08 02:00:00 | 2,498 | v4.16.0 |
| 2026-07-07 02:00:00 | 2,496 | v4.16.0 |
| 2026-07-06 02:00:00 | 2,492 | v4.16.0 |
| 2026-07-05 02:00:00 | 2,490 | v4.16.0 |
| 2026-07-04 02:00:00 | 2,440 | v4.16.0 |
| 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 |