rustio rustio.net
50

monotonic_solver

v0.5.0 Growing

A monotonic solver designed to be easy to use with Rust enum expressions

MIT
AlgorithmsScience #solver#monotonic#theorem#proving#reasoning

Quick Verdict

  • โœ•Not updated for 5+ years
  • !Pre-1.0: API may have breaking changes
  • โœ“Team maintained (2 owners)
  • โœ“Tiny footprint (14KB, 0 deps)
  • โœ“Permissive license (MIT)

Security

Checking security advisories...
Downloads
12.1K
Dependents
25
Releases
6
Size
14KB

Deep Insights

๐Ÿ“ˆ
Strong growth momentum

535 downloads in the last 30 days (18/day), up 206% from the previous period.

๐Ÿ‘ค
Prolific maintainer

The primary maintainer publishes 157 crates. This suggests deep Rust expertise and long-term commitment to the ecosystem.

๐Ÿ”ฌ
Pre-1.0 for over a year

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

๐Ÿชถ
Zero dependencies

monotonic_solver has no external dependencies โ€” minimal supply chain risk and fast compile times.

๐Ÿ“
Compact crate

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

Health Breakdown

Maintenance 3/25

Recency, release consistency, active ratio

Quality 16/25

Yanked ratio, deps, size, maturity, features

Community 15/20

Reverse deps, ownership, ecosystem

Popularity 5/15

Downloads, momentum, growth trend

Documentation 11/15

Docs, repo, license, metadata

Download Trend

Daily downloads ยท last 90 days
9/day avg+254%
02040608010012/301/172/42/223/123/29

Top Dependents

Most downloaded crates that depend on monotonic_solver

Version Adoption

v0.5.0
39%
v0.2.1
17%
v0.1.0
15%
v0.3.0
15%
v0.2.0
15%

Release Timeline

6 releasessince 2017
J
F
M
A
M
J
J
A
S
O
N
D
2017
3
2018
2019
2020
3
2021
2022
2023
2024
2025
2026
Less
More

README

Loading README...

Maintainers

Dependencies
0
direct dependencies
Dependents
25
crates depend on monotonic_solver

Similar Crates