rustio rustio.net

Decision Workspace

ipasir-sys

Side-by-side comparison of Rust crates

39
ipasir-sys
growingv0.3.0

A Rust crate that contains FFI bindings for IPASIR-compatible SAT solvers.

Core Metrics

ipasir-sys
Health Score39
Total Downloads8.2K
30d Downloads22
Dependents0
Releases4
Last Updated2088d ago
Age6y 9m

Health Breakdown

ipasir-sys
Maintenance
3
Quality
13
Community
6
Popularity
5
Documentation
12

Technical Details

ipasir-sys
Version0.3.0
Stable (≥1.0)✗ No
LicenseMIT
Dependencies2
Crate Size2.0MB
Features0
Yanked %0.0%
Edition2018
MSRV—
Owners1

Links

ipasir-sys detail →GitHub ↗Docs ↗crates.io ↗

Quick Verdict

  • •ipasir-sys leads with a health score of 39/100, but none of the options score above 80.
  • •⚠ ipasir-sys has not been updated in over a year.