[ 源代码： libsolv ]
软件包：libsolv1（0.7.28-1 以及其他的）
dependency solver using a satisfiability algorithm (shared library)
This dependency solver code in this package 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.
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