rustio rustio.net

Decision Workspace

cadical-sys

Side-by-side comparison of Rust crates

48
cadical-sys
growingv0.7.0

Almost complete safe and unsafe bindings for the CaDiCal SAT solver. Made using the cxx crate and then wrapped in a safe 1 to 1 API.

Core Metrics

cadical-sys
Health Score48
Total Downloads8.8K
30d Downloads1.4K
Dependents6
Releases8
Last Updated132d ago
Age1y 4m

Health Breakdown

cadical-sys
Maintenance
12
Quality
13
Community
8
Popularity
5
Documentation
10

Technical Details

cadical-sys
Version0.7.0
Stable (≥1.0)✗ No
LicenseMIT
Dependencies3
Crate Size776KB
Features0
Yanked %0.0%
Edition2021
MSRV—
Owners1

Links

cadical-sys detail →GitHub ↗crates.io ↗

Quick Verdict

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