splr
v0.17.2 GrowingA modern CDCL SAT solver in Rust
Quick Verdict
- ✕Not updated for 2+ years
- !Pre-1.0: API may have breaking changes
- ✓Tiny footprint (165KB, 2 deps)
Security
Deep Insights
540 downloads in the last 30 days (18/day), up 26% from the previous period.
Despite being 7+ years old, splr hasn't reached 1.0 yet. Expect potential API changes between versions.
Only 2 direct dependencies. Lean dependency tree means faster builds and lower supply chain risk.
Notable dependents include rust-formal-verification, pindakaas, sat_toasty_helper, pblib-rs, odis. When high-quality crates choose splr, it's a strong quality signal.
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 splr
Version Adoption
Release Timeline
Feature Flags
default =["unsafe_access", "dynamic_restart_threshold", "LRB_rewarding", "reason_side_rewarding", "rephase", "reward_annealing", "two_mode_reduction", "trail_saving", "clause_vivification"]
