resolvo - GitLite

KO | EN

gitlite — search

#python #hacktoberfest #react #ai #llm #golang #android #rust #linux #docker #macos #cli #awesome-list #open-source

resolvo

(★ 222)

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

파일 탐색기

최종 버전 다운로드 (.zip)

- - write.sts.yaml
- - cpp-test.yml
  - enforce-sha.yaml
  - release-plz.yml
  - rust-compile.yml
- dependabot.yml
- - ResolvoConfig.cmake.in
- - CMakeLists.txt
  - README.md
- - resolvo.h
  - resolvo_dependency_provider.h
  - resolvo_pool.h
  - resolvo_slice.h
  - resolvo_string.h
  - resolvo_vector.h
- - lib.rs
  - slice.rs
  - string.rs
  - vector.rs
- - CMakeLists.txt
  - solve.cpp
  - string.cpp
  - vector.cpp
- build.rs
- Cargo.toml
- CHANGELOG.md
- CMakeLists.txt
- pixi.toml
- sudoku.rs
- - arena.rs
  - frozen_copy_map.rs
  - id.rs
  - mod.rs
  - small_vec.rs
  - solver_id.rs
  - unwrap_unchecked.rs
- - binary_encoding.rs
  - cache.rs
  - clause.rs
  - conditions.rs
  - decide_queue.rs
  - decision.rs
  - decision_map.rs
  - decision_tracker.rs
  - diagnostics.rs
  - encoding.rs
  - mod.rs
  - variable_map.rs
  - watch_map.rs
- - indexed_set.rs
  - mapping.rs
  - mod.rs
  - pool.rs
- conditional_requirement.rs
- conflict.rs
- id.rs
- lib.rs
- requirement.rs
- runtime.rs
- snapshot.rs
- solver_id.rs
- - decide_queue_prop.rs
  - main.rs
- - .gitignore
  - Cargo.toml
  - timing_comparison.ipynb
.clang-format
.gitattributes
.gitignore
Cargo.lock
Cargo.toml
CHANGELOG.md
CMakeLists.txt
CONTRIBUTING.md
LICENSE
pixi.lock
pixi.toml
README.md
rust-toolchain

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

<a href="https://github.com/prefix-dev/resolvo/">
    <img src="https://github.com/user-attachments/assets/6057f65d-c809-4527-af8b-a853fbd55b50" alt="banner">
</a>

# Resolvo: Fast package resolver written in Rust

![License][license-badge]
[![crates.io][crates-badge]][crates]
[![Build Status][build-badge]][build]
[![Project Chat][chat-badge]][chat-url]
[![Docs][docs-main-badge]][docs-main]

[license-badge]: https://img.shields.io/badge/license-BSD--3--Clause-blue?style=flat-square
[build-badge]: https://img.shields.io/github/actions/workflow/status/mamba-org/resolvo/rust-compile.yml?style=flat-square&branch=main
[build]: https://github.com/mamba-org/resolvo/actions
[chat-badge]: https://img.shields.io/discord/1082332781146800168.svg?label=&logo=discord&logoColor=ffffff&color=7389D8&labelColor=6A7EC2&style=flat-square
[chat-url]: https://discord.gg/kKV8ZxyzY4
[docs-main-badge]: https://img.shields.io/badge/docs-main-yellow.svg?style=flat-square
[docs-main]: https://docs.rs/resolvo
[crates]: https://crates.io/crates/resolvo
[crates-badge]: https://img.shields.io/crates/v/resolvo.svg

Resolvo implements a fast package resolution algorithm based on CDCL SAT solving.

### Projects using `resolvo`

- [`rip`](https://github.com/prefix-dev/rip): An async package resolver and installer for Python PyPI packages
- [`rattler`](https://github.com/mamba-org/rattler): Conda package resolver and installer (non-async)
- [`resolvo-rpm`](https://github.com/prefix-dev/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.
```

Resolvo provides a generic interface which allows integrating the solver with a variety of package managers. For instance resolvo is used in [rattler](https://github.com/mamba-org/rattler) and [pixi](https://github.com/prefix-dev/pixi) to solve packages from the conda ecosystem.

Originally resolvo started out as a port/fork of [libsolv](https://github.com/openSUSE/libsolv) but it has since then diverged substantially. However, the same CDCL algorithm based on MiniSats [An Extensible SAT-solver](http://minisat.se/downloads/MiniSat.pdf) 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.

## C++ bindings

Resolvo ships C++ bindings (see [`cpp/`](./cpp)). A runnable example that solves sudoku puzzles with the solver lives in [`cpp/examples`](./cpp/examples). With [Pixi](https://pixi.sh) you can build and run it from the repository root:

```shell
pixi run cpp-example-sudoku
```

Pass your own puzzle as an 81-character string (`.` or `0` for empty cells):

```shell
pixi run cpp-example-sudoku "53..7....6..195....98....6.8...6...34..8.3..17...2...6.6....28....419..5....8..79"
```

See the [example README](./cpp/examples/README.md) for more details.

## 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][chat-url].