dependency solver using a satisfiability algorithm (shared library)

This dependency solver code in this package is based on two major, but independent, blocks:

1. Using a dictionary approach to store and retrieve package

   and dependency information.

2. Using satisfiability, a well known and researched topic, for

   resolving package dependencies.

Supported package formats:

  - rpm/rpm5
  - deb
  - Arch Linux
  - haiku

Supported repository formats:

  - rpmmd (primary, filelists, comps, deltainfo/presto, updateinfo)
  - susetags, suse product formats
  - mandriva/mageia (synthesis, info, files)
  - Arch Linux
  - red carpet helix format
  - haiku

標籤: 角色: 共用函式庫

本頁其他語言版本如下（如何設定預設文件語言）：