README

   1 This is libsolv, a free package dependency solver using a satisfiability
   2 algorithm.
   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 Supported package formats:
  15   - rpm/rpm5
  16   - deb
  17   - arch linux
  18   - haiku
  19
  20 Supported repository formats:
  21   - rpmmd (primary, filelists, comps, deltainfo/presto, updateinfo)
  22   - susetags, suse product formats
  23   - mandriva/mageia (synthesis, info, files)
  24   - arch linux
  25   - red carpet helix format
  26   - haiku
  27
  28 Requires: cmake 2.4.x
  29
  30 mkdir build
  31 cd build
  32 cmake ..
  33 make
  34
  35 To create a package:
  36 make srcpackage
  37 see package/