]>
Commit | Line | Data |
---|---|---|
b6aa967b MS |
1 | Libsolv |
2 | ======= | |
3 | ||
a93c3e92 | 4 | This is libsolv, a free package dependency solver using a satisfiability |
194ccba7 | 5 | algorithm. |
8f8a9ed5 | 6 | |
45f1e364 | 7 | The code is based on two major, but independent, blocks: |
8f8a9ed5 | 8 | |
b6aa967b MS |
9 | 1. Using a dictionary approach to store and retrieve package and |
10 | dependency information in a fast and space efficient manner. | |
a93c3e92 | 11 | |
6f8b4040 MS |
12 | 2. Using satisfiability, a well known and researched topic, for |
13 | resolving package dependencies. | |
8f8a9ed5 | 14 | |
4f62e854 | 15 | The sat-solver code has been written to aim for the newest packages, |
ac07c771 JR |
16 | record the decision tree to provide introspection, and also provides |
17 | the user with suggestions on how to deal with unsolvable | |
18 | problems. It also takes advantage of repository storage to | |
4f62e854 | 19 | minimize memory usage. |
42bd996f | 20 | |
6f8b4040 | 21 | Supported package formats: |
0b771916 | 22 | |
6f8b4040 MS |
23 | - rpm/rpm5 |
24 | - deb | |
25 | - arch linux | |
810ff5d1 | 26 | - haiku |
6f8b4040 MS |
27 | |
28 | Supported repository formats: | |
0b771916 | 29 | |
6f8b4040 MS |
30 | - rpmmd (primary, filelists, comps, deltainfo/presto, updateinfo) |
31 | - susetags, suse product formats | |
32 | - mandriva/mageia (synthesis, info, files) | |
33 | - arch linux | |
34 | - red carpet helix format | |
810ff5d1 | 35 | - haiku |
6f8b4040 | 36 | |
45f1e364 MS |
37 | Build instructions |
38 | ================== | |
39 | ||
a8a2de89 | 40 | Requires: cmake 2.8.5 or later |
42bd996f | 41 | |
45f1e364 MS |
42 | mkdir build |
43 | cd build | |
44 | cmake .. | |
45 | make | |
42bd996f | 46 | |
45f1e364 MS |
47 | //// |
48 | vim: syntax=asciidoc | |
49 | //// |