rustio rustio.net

Decision Workspace

sat-interface

Side-by-side comparison of Rust crates

54
sat-interface
experimentalv0.1.1

This crate provides an abstraction interface for SAT solvers.

Core Metrics

sat-interface
Health Score54
Total Downloads2.0K
30d Downloads1.4K
Dependents3
Releases2
Last Updated32d ago
Age1m

Health Breakdown

sat-interface
Maintenance
12
Quality
16
Community
12
Popularity
4
Documentation
10

Technical Details

sat-interface
Version0.1.1
Stable (≥1.0)✗ No
LicenseApache-2.0
Dependencies1
Crate Size14KB
Features2
Yanked %0.0%
Edition2024
MSRV—
Owners3

Links

sat-interface detail →GitHub ↗crates.io ↗

Quick Verdict

  • •sat-interface leads with a health score of 54/100, but none of the options score above 80.