rustio rustio.net
37

oxiz-cli

v0.1.3 Experimental

CLI for OxiZ SMT Solver (SMT-LIB2 compliant)

Apache-2.0 Edition 2024
Command line utilities #cli#smt#smtlib

Quick Verdict

  • โœ“Actively maintained (updated 49d ago)
  • !Pre-1.0: API may have breaking changes
  • !Heavy dependency tree (27 direct deps)
  • โœ“Permissive license (Apache-2.0)

Security

Checking security advisories...
Downloads
65
Dependents
0
Releases
4
Size
132KB

Deep Insights

๐Ÿ“‰
Download decline

9 downloads in the last 30 days, down 55% from the previous period. May indicate migration to alternatives.

๐Ÿ‘ค
Prolific maintainer

The primary maintainer publishes 603 crates. This suggests deep Rust expertise and long-term commitment to the ecosystem.

๐Ÿ“ฆ
Heavy dependency tree

27 direct dependencies. Consider the impact on compile times and supply chain complexity.

Health Breakdown

Maintenance 11/25

Recency, release consistency, active ratio

Quality 9/25

Yanked ratio, deps, size, maturity, features

Community 5/20

Reverse deps, ownership, ecosystem

Popularity 2/15

Downloads, momentum, growth trend

Documentation 10/15

Docs, repo, license, metadata

Download Trend

Daily downloads ยท last 90 days
1/day avg-81%
0510152012/291/162/32/213/113/28

Version Adoption

v0.1.3
31%
v0.1.2
25%
v0.1.1
23%
v0.1.0
22%

Release Timeline

4 releasessince 2026
J
F
M
A
M
J
J
A
S
O
N
D
2026
4
Less
More

README

Loading README...

Maintainers

Dependencies
27
direct dependencies
Dependents
0
crates depend on oxiz-cli

Similar Crates