boolector
v0.4.3 GrowingSafe high-level bindings for the Boolector SMT solver
Quick Verdict
- ✕Not updated for 3+ years
- !Pre-1.0: API may have breaking changes
- ✓Trusted by 108 crates
- ✓Tiny footprint (23KB, 2 deps)
- ✓Permissive license (MIT)
Security
Deep Insights
887 downloads in the last 30 days (30/day), up 65% from the previous period.
108 crates depend on boolector. Reasonable ecosystem adoption, though not yet a core dependency.
Despite being 6+ years old, boolector 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.
At 22KB, boolector is lightweight. Small crate size correlates with focused, well-scoped functionality.
Notable dependents include radius2, haybale, haybale-pitchfork, monster-rs. When high-quality crates choose boolector, 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 boolector
