使用可满足性算法的免费包依赖求解器。
项目描述
Libsolv
这是libsolv，一个使用可满足性算法的免费包依赖求解器。
代码基于两个主要但独立的块
-
使用字典方法以快速和高效的空间方式存储和检索包和依赖信息。
-
使用可满足性，一个知名且经过深入研究的话题，来解析包依赖。
sat-solver代码已被编写以针对最新版本的包，记录决策树以提供内省，并为用户提供了如何处理无法解决的问题的建议。它还利用存储库存储以最小化内存使用。
支持的包格式
- rpm/rpm5
- deb
- arch linux
- haiku
支持的存储库格式
- rpmmd (主要、文件列表、comps、deltainfo/presto、updateinfo)
- susetags、suse产品格式
- mandriva/mageia (合成、信息、文件)
- arch linux
- red carpet helix格式
- haiku
构建说明
需求：cmake 2.8.5或更高版本
mkdir build
cd build
cmake ..
make
//// vim: syntax=asciidoc ////
关闭
solv-0.7.29-cp312-cp312-manylinux_2_28_x86_64.whl 的哈希值
| 算法 | 哈希摘要 | |
|---|---|---|
| SHA256 | 7265bb78fbed234b095958513804839aa3a0159a645630e07df4388c43a94ff5 |
|
| MD5 | b8005611d2099f8474490d08703c9387 |
|
| BLAKE2b-256 | 755607fbb6704708922617a23ca4d9fcdbbdafd7e75a84c55e125b0adb8321a2 |
关闭
solv-0.7.29-cp312-cp312-manylinux_2_28_aarch64.whl 的哈希值
| 算法 | 哈希摘要 | |
|---|---|---|
| SHA256 | 7f5e343563dd5c90d60a70a61866936b7441c6a913c341cbe8f15de3180d9bcd |
|
| MD5 | e2967a814e87f23cbdee5f28a41f1269 |
|
| BLAKE2b-256 | 328ad4a54c2ba115a6e654119d57c341e7304dc3e874a685efc7b488450c1f17 |
关闭
solv-0.7.29-cp311-cp311-manylinux_2_28_x86_64.whl 的哈希值
| 算法 | 哈希摘要 | |
|---|---|---|
| SHA256 | b193ececd08868953f2b35a90c0f403e710f2fc5755fad62d4139de831a163a6 |
|
| MD5 | 862273261d2277c9feb3b3070e3c7e45 |
|
| BLAKE2b-256 | 9df67c21607d4580a6545121b9bfe3a86218e4df89a229ea0bdc1c1248c360dc |
关闭
哈希值 用于 solv-0.7.29-cp311-cp311-manylinux_2_28_aarch64.whl
| 算法 | 哈希摘要 | |
|---|---|---|
| SHA256 | 8f1972db2e33ee9b9cafc5b4fef10bc6064307bb649856664de5bede7786df1b |
|
| MD5 | fc3b389a9a63f0329ef1794d62a6b2ea |
|
| BLAKE2b-256 | 3f8c594dc9fdbe6b1ff5490341a19eaaf113702ed5cbc00542f491c1eee5b9ca |
关闭
哈希值 用于 solv-0.7.29-cp310-cp310-manylinux_2_28_x86_64.whl
| 算法 | 哈希摘要 | |
|---|---|---|
| SHA256 | 6fe702f06ae6e4d905f366f236dd3cd6d92313688162359003c9c03a82e474d6 |
|
| MD5 | 300741a8d6b76fa0091af3989f1fb515 |
|
| BLAKE2b-256 | efc42940fae2e0c0ca18b4213b57e3a7dd6500f894fdf19fdfdd242eac291c6a |
关闭
哈希值 用于 solv-0.7.29-cp310-cp310-manylinux_2_28_aarch64.whl
| 算法 | 哈希摘要 | |
|---|---|---|
| SHA256 | 95cf71e9b94bfd594d73240002f4f38af25cde6ab3a4ba0969fd4eeaf285d230 |
|
| MD5 | 327cf0b5e5839d73d061f8e245c7826b |
|
| BLAKE2b-256 | 25261019c9d5fd1aba7a4157c037149fadcc0cd8bfebcafacc3d9d4f23821b8a |
关闭
哈希值 用于 solv-0.7.29-cp39-cp39-manylinux_2_28_x86_64.whl
| 算法 | 哈希摘要 | |
|---|---|---|
| SHA256 | a394e0efc684a6631579dc9db36cdad31b2f1e1b838fdc8f748a6c0b0fa031f9 |
|
| MD5 | f7d955c04f1119a3d3fc6b92657f8c6a |
|
| BLAKE2b-256 | 9f3b597710d117bfc5478784b5db42870f4d202d5fe3b587838cb8bbc4765999 |
关闭
哈希值 用于 solv-0.7.29-cp39-cp39-manylinux_2_28_aarch64.whl
| 算法 | 哈希摘要 | |
|---|---|---|
| SHA256 | 2faf32212ea0819732572bc6b82e19a281480819ce96d37cbb3c3492ea1534b6 |
|
| MD5 | 671f1af3dbcad1bff0beedab9fd10675 |
|
| BLAKE2b-256 | dba5e0c6be2a3b05963c5927e76b07b2fd8702a5a95b33bb304533734d912ce3 |
