rustio rustio.net
43

rsat

v0.1.12 Growing

SAT Solver

MIT Edition 2018
Science #math#solver#boolean#satisfiability#sat

Quick Verdict

  • โœ•Not updated for 5+ years
  • !Pre-1.0: API may have breaking changes
  • โœ“Tiny footprint (11KB, 3 deps)
  • โœ“Permissive license (MIT)

Security

Checking security advisories...
Downloads
20.8K
Dependents
4
Releases
13
Size
11KB

Deep Insights

๐Ÿ“Š
Steady growth

89 downloads in the last 30 days (3/day), up 3% from the previous period.

๐Ÿ”ฌ
Pre-1.0 for over a year

Despite being 6+ years old, rsat hasn't reached 1.0 yet. Expect potential API changes between versions.

๐Ÿชถ
Minimal dependencies

Only 3 direct dependencies. Lean dependency tree means faster builds and lower supply chain risk.

๐Ÿ“
Compact crate

At 11KB, rsat is lightweight. Small crate size correlates with focused, well-scoped functionality.

๐ŸŒŸ
Used by top crates

Notable dependents include msat, solhop, rsat-cli. When high-quality crates choose rsat, it's a strong quality signal.

Health Breakdown

Maintenance 4/25

Recency, release consistency, active ratio

Quality 15/25

Yanked ratio, deps, size, maturity, features

Community 7/20

Reverse deps, ownership, ecosystem

Popularity 5/15

Downloads, momentum, growth trend

Documentation 12/15

Docs, repo, license, metadata

Download Trend

Daily downloads ยท last 90 days
3/day avg+11%
0510152012/301/172/42/223/123/29

Top Dependents

Most downloaded crates that depend on rsat

Version Adoption

v0.1.12
33%
v0.1.9
26%
v0.1.11
15%
v0.1.6
13%
v0.1.7
13%

Release Timeline

13 releasessince 2019
J
F
M
A
M
J
J
A
S
O
N
D
2019
8
2020
5
2021
2022
2023
2024
2025
2026
Less
More

README

Loading README...

Maintainers

Dependencies
3
direct dependencies
Dependents
4
crates depend on rsat

Similar Crates