README

   1 This is libsolv, a free package dependency solver using a satisfyability
   2 algorihtm.
   3
   4 This code is based on two major, but independent, blocks:
   5
   6 1. Using a dictionary approach to store and retrieve package
   7    and dependency information.
   8
   9 2. Using satisfiability, a well known and researched topic, for
  10    resolving package dependencies.
  11
  12 Google for 'sat solver' to get links to the theory behind it.
  13
  14 Requires: cmake 2.4.x
  15
  16 mkdir build
  17 cd build
  18 cmake ..
  19 make
  20
  21 To create a package:
  22 make srcpackage
  23 see package/