Sign in Sign up
cargo

resolvo

Fast package resolver written in Rust (CDCL based SAT solving)

cargo View on Cargo github View on Github

Activity

Latest release
3w ago
Total releases
30
Cadence
~22 days
Last 12 months
9

Reach

Stars
227

Details

License
BSD-3-Clause
First release
Sep 25, 2023
Releases
Version Released
0.12.2 patch
0.12.1 patch
0.12.0 unknown
0.11.2 unknown yanked
0.11.1 unknown
0.11.0 unknown
0.10.4 unknown yanked
0.10.3 unknown
0.10.2 unknown
0.10.1 unknown
0.10.0 unknown
0.9.1 unknown
0.9.0 unknown
0.8.6 unknown
0.8.5 unknown
0.8.4 unknown
0.8.3 unknown
0.8.2 unknown
0.8.1 unknown
0.8.0 unknown
0.7.0 unknown
0.6.2 unknown
0.6.1 unknown
0.6.0 unknown
0.5.0 unknown
0.4.1 unknown
0.4.0 unknown
0.3.0 unknown
0.2.0 unknown
0.1.0 unknown