【文件属性】：
文件名称：libsolv:用于解决软件包和读取存储库的库
文件大小：884KB
文件格式：ZIP
更新时间：2021-05-01 03:46:39
C
利布索夫
这是libsolv，这是一个使用可满足性算法的免费软件包依赖解决程序。
该代码基于两个主要但独立的块：
使用字典方法以快速和节省空间的方式存储和检索包和依赖项信息。
使用可满足性（一个众所周知且经过研究的主题）来解决程序包依赖性。
sat-solver代码旨在针对最新的软件包，记录决策树以进行自省，还为用户提供有关如何解决不可解决问题的建议。 它还利用存储库存储来最大程度地减少内存使用量。
支持的软件包格式：
rpm / rpm5
黛比
拱Linux
ku句
支持的存储库格式：
rpmmd（主要，文件列表，comps，deltainfo / presto，updateinfo）
susetag，suse产品格式
mandriva / mageia（合成，信息，文件）
拱Linux
红地毯螺旋格式
ku句
制作说明
需要：cmake 2.8.5或更高版本
m