[ 源代码: libsolv ]
软件包:libsolvext1(0.7.31-1)
dependency solver using a satisfiability algorithm (extensions)
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.
Search the internet for 'sat solver' to get links to the theory behind it.
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
This package contains the libsolv extension library.
其他与 libsolvext1 有关的软件包
|
|
|
|
-
- dep: libbz2-1.0
- 高品质块排序文件压缩程序库 - 运行时库
-
- dep: libc6 (>= 2.38)
- GNU C 语言运行库:共享库
同时作为一个虚包由这些包填实: libc6-udeb
-
- dep: libexpat1 (>= 2.0.1)
- XML 解析 C 库 - 运行时库
-
- dep: liblzma5 (>= 5.1.1alpha+20120614)
- XZ 格式压缩库
-
- dep: librpm10 (>= 4.16)
- RPM shared library
-
- dep: librpmio10 (>= 4.14.0+dfsg1)
- RPM IO shared library
-
- dep: libsolv1 (>= 0.7.23)
- dependency solver using a satisfiability algorithm (shared library)
-
- dep: libzstd1 (>= 1.5.5)
- 快速无损压缩算法
-
- dep: zlib1g (>= 1:1.2.3.3)
- 压缩库 - 运行时