1 This is libsolv, a free package dependency solver using a satisfiability
4 This code is based on two major, but independent, blocks:
6 1. Using a dictionary approach to store and retrieve package
7 and dependency information.
9 2. Using satisfiability, a well known and researched topic, for
10 resolving package dependencies.
12 The sat-solver code has been written to aim for the newest packages,
13 record the decison tree to provide introspection, and also allows to
14 provide the user with suggestions on how to deal with unsolvable
15 problems. It also takes advantage of the repository storage to
16 minimize memory usage.
18 Supported package formats:
24 Supported repository formats:
25 - rpmmd (primary, filelists, comps, deltainfo/presto, updateinfo)
26 - susetags, suse product formats
27 - mandriva/mageia (synthesis, info, files)
29 - red carpet helix format