X-Git-Url: http://review.tizen.org/git/?a=blobdiff_plain;f=README;h=59ac1a1874248fa2fae0c33ca79ffb15606686a3;hb=18ebbaf4f619e79231f5ad18a2ab8c135d22ef56;hp=bb8f022156eb06e386ea2e0fe0c2010df69cbf13;hpb=810ff5d1e58ecb2538ddf87e93cd635faf77879d;p=platform%2Fupstream%2Flibsolv.git

diff --git a/README b/README
index bb8f022..59ac1a1 100644
--- a/README
+++ b/README
@@ -1,23 +1,32 @@
+Libsolv
+=======
+
 This is libsolv, a free package dependency solver using a satisfiability
 algorithm.
 
-This code is based on two major, but independent, blocks:
+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.
 
-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 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
+minimize memory usage.
 
 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)
@@ -25,13 +34,16 @@ Supported repository formats:
   - red carpet helix format
   - haiku
 
-Requires: cmake 2.4.x
+Build instructions
+==================
+
+Requires: cmake 2.8.5 or later
 
-mkdir build
-cd build
-cmake ..
-make
+    mkdir build
+    cd build
+    cmake ..
+    make
 
-To create a package:
-make srcpackage
-see package/
+////
+vim: syntax=asciidoc
+////