43
boolector-sys
v0.7.2 GrowingLow-level bindings for the Boolector SMT solver
MIT Edition 2018
Quick Verdict
- ✕Not updated for 2+ years
- !Pre-1.0: API may have breaking changes
- ✓Permissive license (MIT)
Security
Checking security advisories...
Downloads
51.9K
Dependents
72
Releases
15
Size
2.8MB
Deep Insights
📊
Steady growth
1.8K downloads in the last 30 days (59/day), up 18% from the previous period.
🔬
Pre-1.0 for over a year
Despite being 6+ years old, boolector-sys hasn't reached 1.0 yet. Expect potential API changes between versions.
📐
Large crate size
2.8MB is relatively large. May impact download and compile times.
🌟
Used by top crates
Notable dependents include boolector, xlsynth-prover, monster-rs. When high-quality crates choose boolector-sys, it's a strong quality signal.
Health Breakdown
Maintenance 4/25
Recency, release consistency, active ratio
Quality 12/25
Yanked ratio, deps, size, maturity, features
Community 9/20
Reverse deps, ownership, ecosystem
Popularity 6/15
Downloads, momentum, growth trend
Documentation 12/15
Docs, repo, license, metadata
Download Trend
Daily downloads · last 90 days
50/day avg+45%
Top Dependents
Most downloaded crates that depend on boolector-sys
Version Adoption
v0.7.2
46%
v0.7.1
29%
v0.6.3
14%
v0.4.0
6%
v0.6.1
5%
Release Timeline
15 releasessince 2019
J
F
M
A
M
J
J
A
S
O
N
D
2019
6
2020
4
2021
4
2022
2023
2024
1
2025
2026
LessMore
Feature Flags
vendor-lgl
README
Loading README...
Maintainers
Dependencies
4
direct dependencies
Dependents
72
crates depend on boolector-sys