15 releases (7 breaking)

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

Download history 2486/week @ 2024-08-05 3007/week @ 2024-08-12 1967/week @ 2024-08-19 2076/week @ 2024-08-26 2365/week @ 2024-09-02 1822/week @ 2024-09-09 1243/week @ 2024-09-16 1819/week @ 2024-09-23 3236/week @ 2024-09-30 2580/week @ 2024-10-07 1224/week @ 2024-10-14 1511/week @ 2024-10-21 1220/week @ 2024-10-28 2212/week @ 2024-11-04 1706/week @ 2024-11-11 1744/week @ 2024-11-18

6,940 downloads per month
Used in 5 crates (3 directly)

BSD-3-Clause

255KB
4.5K SLoC

banner

Resolvo: Fast package resolver written in Rust

License crates.io Build Status Project Chat Docs

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 packages
  • rattler: 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
~209K SLoC