rustio rustio.net
49

smc_scan_core

v0.1.1 Experimental

Core module for the Scan model checker.

Apache-2.0 Edition 2024

Quick Verdict

  • โœ“Actively maintained (updated 33d ago)
  • !Pre-1.0: API may have breaking changes
  • โœ“Permissive license (Apache-2.0)

Security

Checking security advisories...
Downloads
193
Dependents
8
Releases
2
Size
47KB

Deep Insights

๐Ÿ“Š
Stable downloads

91 downloads in the last 30 days (3/day). Volume is roughly flat compared to the previous period.

๐Ÿ“
Compact crate

At 46KB, smc_scan_core is lightweight. Small crate size correlates with focused, well-scoped functionality.

๐ŸŒŸ
Used by top crates

Notable dependents include smc_scan_scxml, smc_scan_jani, smc_scan_promela, smc_scan. When high-quality crates choose smc_scan_core, it's a strong quality signal.

Health Breakdown

Maintenance 12/25

Recency, release consistency, active ratio

Quality 13/25

Yanked ratio, deps, size, maturity, features

Community 8/20

Reverse deps, ownership, ecosystem

Popularity 3/15

Downloads, momentum, growth trend

Documentation 13/15

Docs, repo, license, metadata

Download Trend

Daily downloads ยท last 90 days
0/day avg
02/263/164/34/215/95/26

Top Dependents

Version Adoption

v0.1.1
55%
v0.1.0
45%

Release Timeline

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

README

Loading README...

Maintainers

Dependencies
6
direct dependencies
Dependents
8
crates depend on smc_scan_core

Similar Crates