Skip to content
master
Switch branches/tags
Code

Latest commit

There's special casing in the reader, so we have to make sure
that complex dependencies starting with a '/' are written
correctly.
5e1ac6a

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
doc
 
 
 
 
ext
 
 
 
 
src
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Libsolv

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 ..
make