Satisfiability

Last updated:
Downloads last 30 days
14
Downloads last week
5
Downloads last day
1
Total Downloads
Lifetime Growth (cumulative)
Downloads by Region
Dependencies

1 package (1 direct)

PackageDepthDownloads
z3_jll
Direct
78
Dependents

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

PackageDepthDownloads
Maxoids
Direct
1
ZebraPuzzles
Direct
1