Need help with libsolv?
Click the “chat” button below for chat support from the developer who created it, or find similar developers for support.

About the developer

333 Stars 120 Forks Other 3.4K Commits 54 Opened issues


Library for solving packages and reading repositories

Services available


Need anything else?

Contributors list


This is libsolv, a free package dependency solver using a satisfiability algorithm.

The code is based on two major, but independent, blocks:

  1. Using a dictionary approach to store and retrieve package and dependency information in a fast and space efficient manner.

  2. Using satisfiability, a well known and researched topic, for resolving package dependencies.

The sat-solver code has been written to aim for the newest packages, record the decision tree to provide introspection, and also provides the user with suggestions on how to deal with unsolvable problems. It also takes advantage of repository storage to minimize memory usage.

Supported package formats:

  • rpm/rpm5
  • deb
  • arch linux
  • haiku

Supported repository formats:

  • rpmmd (primary, filelists, comps, deltainfo/presto, updateinfo)
  • susetags, suse product formats
  • mandriva/mageia (synthesis, info, files)
  • arch linux
  • red carpet helix format
  • haiku

Build instructions

Requires: cmake 2.8.5 or later

mkdir build
cd build
cmake ..

//// vim: syntax=asciidoc ////

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.