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