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 The sat-solver code has been written to aim for the newest packages,
  13 record the decision tree to provide introspection, and also allows to
  14 provide the user with suggestions on how to deal with unsolvable
  15 problems. It also takes advantage of the repository storage to
  16 minimize memory usage.
  17
  18 Supported package formats:
  19   - rpm/rpm5
  20   - deb
  21   - arch linux
  22   - haiku
  23
  24 Supported repository formats:
  25   - rpmmd (primary, filelists, comps, deltainfo/presto, updateinfo)
  26   - susetags, suse product formats
  27   - mandriva/mageia (synthesis, info, files)
  28   - arch linux
  29   - red carpet helix format
  30   - haiku
  31
  32 Requires: cmake 2.4.x
  33
  34 mkdir build
  35 cd build
  36 cmake ..
  37 make
  38
  39 To create a package:
  40 make srcpackage
  41 see package/