跳转到主要内容

使用可满足性算法的免费包依赖求解器。

项目描述

Libsolv

这是libsolv,一个使用可满足性算法的免费包依赖求解器。

代码基于两个主要但独立的块

  1. 使用字典方法以快速和高效的空间方式存储和检索包和依赖信息。

  2. 使用可满足性,一个知名且经过深入研究的话题,来解析包依赖。

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 (2.7 MB 查看哈希值)

上传时间 CPython 3.12 manylinux: glibc 2.28+ x86_64

solv-0.7.29-cp312-cp312-manylinux_2_28_aarch64.whl (2.6 MB 查看哈希值)

上传时间 CPython 3.12 manylinux: glibc 2.28+ ARM64

solv-0.7.29-cp311-cp311-manylinux_2_28_x86_64.whl (2.7 MB 查看哈希值)

上传时间 CPython 3.11 manylinux: glibc 2.28+ x86_64

solv-0.7.29-cp311-cp311-manylinux_2_28_aarch64.whl (2.6 MB 查看哈希值)

上传时间 CPython 3.11 manylinux: glibc 2.28+ ARM64

solv-0.7.29-cp310-cp310-manylinux_2_28_x86_64.whl (2.7 MB 查看哈希值)

上传时间 CPython 3.10 manylinux: glibc 2.28+ x86_64

solv-0.7.29-cp310-cp310-manylinux_2_28_aarch64.whl (2.6 MB 查看哈希值)

上传时间 CPython 3.10 manylinux: glibc 2.28+ ARM64

solv-0.7.29-cp39-cp39-manylinux_2_28_x86_64.whl (2.7 MB 查看哈希值)

上传时间 CPython 3.9 manylinux: glibc 2.28+ x86_64

solv-0.7.29-cp39-cp39-manylinux_2_28_aarch64.whl (2.6 MB 查看哈希值)

上传时间 CPython 3.9 manylinux: glibc 2.28+ ARM64

由以下支持

AWSAWS 云计算和安全赞助商 DatadogDatadog 监控 FastlyFastly CDN GoogleGoogle 下载分析 MicrosoftMicrosoft PSF赞助商 PingdomPingdom 监控 SentrySentry 错误记录 StatusPageStatusPage 状态页面