Imported Upstream version 0.7.11

[platform/upstream/libsolv.git] / README

diff --git a/README b/README
index db680c4..41fe168 100644 (file)
--- a/README
+++ b/README
@@ -1,18 +1,21 @@
+Libsolv
+=======
+
 This is libsolv, a free package dependency solver using a satisfiability
 algorithm.
 
 The code is based on two major, but independent, blocks:
 
- 1. Using a dictionary approach to store and retrieve package
-    and dependency information.
+ 1. Using a dictionary approach to store and retrieve package and
+    dependency information in a fast and space efficient manner.
 
  2. Using satisfiability, a well known and researched topic, for
     resolving package dependencies.
 
 The sat-solver code has been written to aim for the newest packages,
-record the decision 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
+record the decision tree to provide introspection, and also provides
+the user with suggestions on how to deal with unsolvable
+problems. It also takes advantage of repository storage to
 minimize memory usage.
 
 Supported package formats:
@@ -34,7 +37,7 @@ Supported repository formats:
 Build instructions
 ==================
 
-Requires: cmake 2.4.x
+Requires: cmake 2.8.5 or later
 
     mkdir build
     cd build