libsolv Documentation

libsolv is a free package dependency solver that utilizes a satisfiability (SAT) algorithm to resolve package dependencies. It is designed to be fast and space-efficient by using a dictionary approach for storing and retrieving package and dependency information.

The SAT-solver is optimized for modern packages, provides decision tree introspection for debugging, and offers suggestions when encountering unsolvable dependency problems. It also minimizes memory usage by leveraging repository storage formats.

To build libsolv, you must have cmake version 3.5 or later installed on your system. Use the following standard CMake build process:

mkdir build
cd build
cmake ..
make

libsolv supports a wide range of package and repository formats:

Supported Package Formats:

• rpm/rpm5
• deb
• arch linux
• haiku
• apk

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
• apk