diff options
| author | DongHun Kwak <dh0128.kwak@samsung.com> | 2016-10-27 14:53:30 +0900 |
|---|---|---|
| committer | DongHun Kwak <dh0128.kwak@samsung.com> | 2016-10-27 14:53:30 +0900 |
| commit | ef6e8f8da0690f0e11c12eff0f6e7fa97c109d54 (patch) | |
| tree | c6f0b428de4c2dc7ec102e1f4798bb11202f9785 /README | |
| parent | ba4d7201b44ecec1182b53571d98b2be4ca50264 (diff) | |
| download | libsolv-ef6e8f8da0690f0e11c12eff0f6e7fa97c109d54.tar.gz libsolv-ef6e8f8da0690f0e11c12eff0f6e7fa97c109d54.tar.bz2 libsolv-ef6e8f8da0690f0e11c12eff0f6e7fa97c109d54.zip | |
Imported Upstream version 0.6.6upstream/0.6.6
Change-Id: I39261d63e28e2f057203bd11bd6b1cbb83523fab
Signed-off-by: DongHun Kwak <dh0128.kwak@samsung.com>
Diffstat (limited to 'README')
| -rw-r--r-- | README | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -9,7 +9,11 @@ This code is based on two major, but independent, blocks: 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. +The sat-solver code has been written to aim for the newest packages, +record the decison tree to provide introspection, and also allows to +provide the user with suggestions on how to deal with unsolvable +problems. It also takes advantage of the repository storage to +minimize memory usage. Supported package formats: - rpm/rpm5 |