rustio rustio.net

Decision Workspace

cvc5-sys

Side-by-side comparison of Rust crates

53
cvc5-sys
experimentalv0.3.1

Low-level FFI bindings for the cvc5 SMT solver

Core Metrics

cvc5-sys
Health Score53
Total Downloads183
30d Downloads186
Dependents5
Releases4
Last Updated4d ago
Age15d

Health Breakdown

cvc5-sys
Maintenance
16
Quality
15
Community
9
Popularity
3
Documentation
10

Technical Details

cvc5-sys
Version0.3.1
Stable (≥1.0)✗ No
LicenseBSD-3-Clause
Dependencies2
Crate Size49KB
Features1
Yanked %0.0%
Edition2024
MSRV—
Owners2

Links

cvc5-sys detail →GitHub ↗crates.io ↗

Quick Verdict

  • •cvc5-sys leads with a health score of 53/100, but none of the options score above 80.