From: Michael Schroeder Date: Fri, 30 Nov 2018 15:16:51 +0000 (+0100) Subject: Tweak README X-Git-Tag: 0.7.2~4 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b6aa967b719bb1ae69813cc98e5d0e9e9a57d497;p=thirdparty%2Flibsolv.git Tweak README --- diff --git a/README b/README index db680c49..02424597 100644 --- a/README +++ b/README @@ -1,10 +1,13 @@ +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.