rustio rustio.net

Decision Workspace

otter_sat

Side-by-side comparison of Rust crates

45
otter_sat
growingv0.1.0

A library for determining the satisfiability of boolean formulas written in conjunctive normal form, developed to support investigation into solvers by researchers, developers, or anyone curious.

Core Metrics

otter_sat
Health Score45
Total Downloads2.2K
30d Downloads5
Dependents0
Releases3
Last Updated406d ago
Age1y 2m

Health Breakdown

otter_sat
Maintenance
6
Quality
16
Community
6
Popularity
4
Documentation
13

Technical Details

otter_sat
Version0.1.0
Stable (≥1.0)✗ No
LicenseAGPL-3.0-or-later
Dependencies4
Crate Size94KB
Features2
Yanked %0.0%
Edition2021
MSRV—
Owners1

Links

otter_sat detail →GitHub ↗Docs ↗crates.io ↗

Quick Verdict

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