rustsat-batsat
v0.7.5 GrowingInterface to the SAT solver BatSat for the RustSAT library. BatSat is fully implemented in Rust
Quick Verdict
- ✓Actively maintained (updated 56d ago)
- !Pre-1.0: API may have breaking changes
- ✓Tiny footprint (8KB, 3 deps)
- ✓Permissive license (MIT)
Security
Deep Insights
97 downloads in the last 30 days, down 20% from the previous period. May indicate migration to alternatives.
Despite being 1+ years old, rustsat-batsat hasn't reached 1.0 yet. Expect potential API changes between versions.
Only 3 direct dependencies. Lean dependency tree means faster builds and lower supply chain risk.
At 8KB, rustsat-batsat is lightweight. Small crate size correlates with focused, well-scoped functionality.
Health Breakdown
Recency, release consistency, active ratio
Yanked ratio, deps, size, maturity, features
Reverse deps, ownership, ecosystem
Downloads, momentum, growth trend
Docs, repo, license, metadata
Download Trend
Top Dependents
Most downloaded crates that depend on rustsat-batsat
