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

Last update: Sep 27, 2023

Related tags

Overview

Resolvo: Fast package resolver written in Rust

Resolvo implements a fast package resolution algorithm based on CDCL SAT solving. 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.
However, Libsolv is more extensive and supports more complex queries.

Comments

RPM Support
I've started some discussions on Github and elsewhere regarding RPM support. The listed projects are all doing something with RPMs in Rust.

To track them, I am linking them here:

https://codeberg.org/uncomfyhalomacro/rypper/issues/14

https://github.com/rpm-rs/rpm/issues/176

https://github.com/Richterrettich/rpm-rs/issues/54
opened by wolfv 0

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

Related tags

Overview

Resolvo: Fast package resolver written in Rust

Contributing 😍

You might also like...

Fast Symbol Ranking based compressor. Based on the idea of Matt Mahoney's SR2

Rust crate `needleman_wunsch` of the `fasebare` package: reading FASTA sequences, Needleman-Wunsch alignment

A Rust CLI to provide last publish dates for packages in a package-lock.json file

Yet another package manager for Rust.

Yet another sort crate, porting Golang sort package to Rust.

The high-speed IAPWS-IF97 package in Rust with C and Python binding

⚡️ Blazing fast terminal file manager written in Rust, based on async I/O.

Print pacman package files

Tool to build OSX package installers

Comments

RPM Support

Owner

Mamba

Repository for solving adventofcode.com puzzles

Solving context limits when working with AI LLM models by implementing a "chunkable" attribute on your prompt structs.

The safe, fast and sane package manager for Linux

This is a `Rust` based package to help with the management of complex medicine (pill) management cycles.

📦 A Python package manager written in Rust inspired by Cargo.

📦 A Python package manager written in Rust inspired by Cargo.

A command line tool written in Rust and designed to be a modern build tool + package manager for C/C++ projects.

A Python package written in Rust for email verification without sending any emails.

Python package for topological data analysis written in Rust. Not limited to just H0 and H1.

A blazingly fast rust-based bionic reader for blazingly fast reading within a terminal console 🦀