rustio rustio.net
40

ipasir-loading

v0.1.0 Growing

Load shared libraries of IPASIR compatible SAT solvers.

GPL-3.0-or-later Edition 2021 MSRV 1.58.1
External FFI bindingsScience #solver#satisfiability#sat#ipasir

Quick Verdict

  • โœ•Not updated for 1+ year
  • !Pre-1.0: API may have breaking changes
  • โœ“Tiny footprint (18KB, 2 deps)

Security

Checking security advisories...
Downloads
1.3K
Dependents
2
Releases
1
Size
18KB

Deep Insights

๐Ÿ“ˆ
Strong growth momentum

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

๐Ÿ”ฌ
Pre-1.0 for over a year

Despite being 1+ years old, ipasir-loading hasn't reached 1.0 yet. Expect potential API changes between versions.

๐Ÿชถ
Minimal dependencies

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

๐Ÿ“
Compact crate

At 18KB, ipasir-loading is lightweight. Small crate size correlates with focused, well-scoped functionality.

Health Breakdown

Maintenance 2/25

Recency, release consistency, active ratio

Quality 15/25

Yanked ratio, deps, size, maturity, features

Community 7/20

Reverse deps, ownership, ecosystem

Popularity 4/15

Downloads, momentum, growth trend

Documentation 12/15

Docs, repo, license, metadata

Download Trend

Daily downloads ยท last 90 days
1/day avg+10%
01234512/291/162/32/213/113/28

Top Dependents

Most downloaded crates that depend on ipasir-loading

Version Adoption

v0.1.0
100%

Release Timeline

1 releasessince 2024
J
F
M
A
M
J
J
A
S
O
N
D
2024
1
2025
2026
Less
More

README

Loading README...

Maintainers

Dependencies
2
direct dependencies
Dependents
2
crates depend on ipasir-loading

Similar Crates