varisat
v0.2.2 GrowingA CDCL based SAT solver (library)
Quick Verdict
- ✕Not updated for 5+ years
- !Pre-1.0: API may have breaking changes
- ✓Trusted by 186 crates
- !Heavy dependency tree (21 direct deps)
- ✓Permissive license (MIT/Apache-2.0)
Security
Deep Insights
740.8K downloads in the last 30 days (24.7K/day), up 806% from the previous period.
186 crates depend on varisat. Reasonable ecosystem adoption, though not yet a core dependency.
Despite being 7+ years old, varisat hasn't reached 1.0 yet. Expect potential API changes between versions.
21 direct dependencies. Consider the impact on compile times and supply chain complexity.
40% of releases have been yanked. Check version history before pinning.
Notable dependents include bool2cnf, pubgrub, astral-pubgrub, xlsynth-g8r, psibase. When high-quality crates choose varisat, 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
