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
  19 Supported repository formats:
  20   - rpmmd (primary, filelists, comps, deltainfo/presto, updateinfo)
  21   - susetags, suse product formats
  22   - mandriva/mageia (synthesis, info, files)
  23   - arch linux
  24   - red carpet helix format
  25
  26 Requires: cmake 2.4.x
  27
  28 mkdir build
  29 cd build
  30 cmake ..
  31 make
  32
  33 To create a package:
  34 make srcpackage
  35 see package/