基于依赖的软件包依赖关系检查方法

摘要

本发明提供了一种基于依赖的软件包依赖关系检查方法，该方法包括：从软件包依赖关系描述文件中读取依赖信息并生成软件包依赖关系树将软件包依赖关系树转换成对应的CNF范式；将描述依赖关系的CNF范式作为SAT问题解决算法的输入，计算结果为该软件是否可安装的解。本发明是面向Linux分发端的软件包依赖关系管理，可以对Linux分发端的软件包依赖关系可满足性进行检查，可以提高软件包依赖关系管理的效率，可以降低软件包之间的依赖关系管理的复杂度。

主权项

一种基于依赖的软件包依赖关系检查方法，用于Linux分发端的软件包依赖关系管理，其特征在于，其包含以下步骤：步骤10：从软件包依赖关系描述文件graphml.xml中读取依赖信息并生成软件包依赖关系树；步骤20：将软件包依赖关系树转换成CNF范式；步骤30：将描述依赖关系的CNF范式作为SAT问题解决算法的输入，计算结果为该软件是否可安装的解。