15 releases (7 breaking)
new 0.8.4 | Nov 5, 2024 |
---|---|
0.8.2 | Oct 4, 2024 |
0.6.2 | Jun 11, 2024 |
0.4.0 | Feb 8, 2024 |
0.2.0 | Nov 3, 2023 |
#55 in Algorithms
7,105 downloads per month
Used in 5 crates
(3 directly)
255KB
4.5K
SLoC
Resolvo: Fast package resolver written in Rust
Resolvo implements a fast package resolution algorithm based on CDCL SAT solving.
Projects using resolvo
rip
: An async package resolver and installer for Python PyPI packagesrattler
: Conda package resolver and installer (non-async)resolvo-rpm
: Experimental RPM resolver for Fedora / RedHat / OpenSUSE ... RPM packages- ... add yours!
Features
If resolvo is unable to find a solution it outputs a human-readable error message:
The following packages are incompatible
├─ bluesky-widgets >=0, <100 can be installed with any of the following options:
│ └─ bluesky-widgets 42 would require
│ └─ suitcase-utils >=0, <54, which can be installed with any of the following options:
│ └─ suitcase-utils 53
└─ suitcase-utils >=54, <100 cannot be installed because there are no viable options:
└─ suitcase-utils 54, which conflicts with the versions reported above.
Resolve provides a generic interface which allows integrating the solver with a variety of package managers. For instance resolvo is used in rattler and pixi to solve packages from the conda ecosystem.
Originally resolvo started out as a port/fork of libsolv but it has since then diverged substantially. However, the same CDCL algorithm based on MiniSats An Extensible SAT-solver is still used underneath. Major differences compared to libsolv are:
- Resolvo does not come with built-in support for several packaging ecosystems but instead provides a generic interface to allow it to be used in different scenarios.
- Resolvo has support for incremental/lazy solving. This allows users to quickly find solutions in ecosystems where retrieving package metadata is expensive.
- Resolvo is considerably faster than libsolv in large complex cases.
- Resolvo can easily be used in multithreaded environments.
- Resolvo provides human-readable error messages out-of-the-box.
- Resolvo optionally provides an async interface to allow concurrent metadata fetching.
- However, Libsolv is more extensive and supports more complex queries.
Contributing 😍
We would love to have you contribute! See the CONTRIBUTION.md for more info. For questions, requests or a casual chat, we are very active on our discord server. You can join our discord server via this link.
Dependencies
~5–16MB
~208K SLoC