Libsolv ======= This is libsolv, a free package dependency solver using a satisfiability algorithm. The code is based on two major, but independent, blocks: 1. Using a dictionary approach to store and retrieve package and dependency information in a fast and space efficient manner. 2. Using satisfiability, a well known and researched topic, for resolving package dependencies. The sat-solver code has been written to aim for the newest packages, record the decision tree to provide introspection, and also provides the user with suggestions on how to deal with unsolvable problems. It also takes advantage of repository storage to minimize memory usage. 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 Build instructions ================== Requires: cmake 2.8.5 or later mkdir build cd build cmake .. make //// vim: syntax=asciidoc ////
此处可能存在不合适展示的内容,页面不予展示。您可通过相关编辑功能自查并修改。
如您确认内容无涉及 不当用语 / 纯广告导流 / 暴力 / 低俗色情 / 侵权 / 盗版 / 虚假 / 无价值内容或违法国家有关法律法规的内容,可点击提交进行申诉,我们将尽快为您处理。