Skip to content


Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Fetching contributors…

Cannot retrieve contributors at this time

36 lines (26 sloc) 0.799 kb
This is libsolv, a free package dependency solver using a satisfiability
This code is based on two major, but independent, blocks:
1. Using a dictionary approach to store and retrieve package
and dependency information.
2. Using satisfiability, a well known and researched topic, for
resolving package dependencies.
Google for 'sat solver' to get links to the theory behind it.
Supported package formats:
- rpm/rpm5
- deb
- arch linux
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
Requires: cmake 2.4.x
mkdir build
cd build
cmake ..
To create a package:
make srcpackage
see package/
Jump to Line
Something went wrong with that request. Please try again.