README

   1 This is libsolv, a free package dependency solver using a satisfiability
   2 algorithm.
   3
   4 The 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
  20   - rpm/rpm5
  21   - deb
  22   - arch linux
  23   - haiku
  24
  25 Supported repository formats:
  26
  27   - rpmmd (primary, filelists, comps, deltainfo/presto, updateinfo)
  28   - susetags, suse product formats
  29   - mandriva/mageia (synthesis, info, files)
  30   - arch linux
  31   - red carpet helix format
  32   - haiku
  33
  34 Build instructions
  35 ==================
  36
  37 Requires: cmake 2.4.x
  38
  39     mkdir build
  40     cd build
  41     cmake ..
  42     make
  43
  44 ////
  45 vim: syntax=asciidoc
  46 ////