Z3

JuliaHub·Source·Documentation

Last updated: Apr 9, 2026

Downloads last 30 days: 16
Downloads last week: 5
Downloads last day: 4
Downloads last 30 days: 16
Downloads last week: 5
Downloads last day: 4

Total Downloads

View Total Downloads data table

Date	Downloads
2026-03-09	1
2026-03-17	2
2026-03-19	3
2026-03-20	1
2026-03-25	1
2026-03-26	1
2026-03-29	1
2026-04-01	1
2026-04-04	1
2026-04-08	2
2026-04-09	2

Downloads by Region

Dependencies

2 packages (2 direct)

Package	Depth ↑	Downloads ↓
CEnum	Direct	121,935
z3_jll	Direct	44

Dependents

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

Package	Depth ↑	Downloads ↓
SymbolicSMT	Direct	12
Absynth	Direct	0