Z3

JuliaHub·Source·Documentation

Last updated: Apr 28, 2026

Downloads last 30 days: 47
Downloads last week: 12
Downloads last day: 1
Downloads last 30 days: 47
Downloads last week: 12
Downloads last day: 1

Total Downloads

View Total Downloads data table

Date	Downloads
2026-04-09	2
2026-04-11	5
2026-04-14	1
2026-04-15	16
2026-04-16	1
2026-04-19	3
2026-04-21	2
2026-04-22	2
2026-04-23	1
2026-04-24	2
2026-04-25	2
2026-04-26	1
2026-04-27	3
2026-04-28	1

Downloads by Region

Dependencies

2 packages (2 direct)

Package	Depth ↑	Downloads ↓
CEnum	Direct	166,828
z3_jll	Direct	105

Dependents

2 packages (2 direct) · 17 downloads (last 30 days)

Package	Depth ↑	Downloads ↓
SymbolicSMT	Direct	17
Absynth	Direct	0