找到1个数据集

标签: SAT求解技术

过滤结果

  • 特征模型语义差异分析工具包

    2025年12月12日 30 37 14

    数据集概述 本数据集是用于分析特征模型语义差异的工具包，包含代码、测试脚本、评估数据及文档。核心基于命题逻辑和QSAT形式化定义，实现特征模型语义差异的分类与枚举，支持在标准化UVL格式工业模型上的评估。 文件详解 核心代码与工具文件： 上游仓库代码：来自booleguru、outercount、kissat等仓库的代码，用于特征模型处理与逻辑求解...
    packageimg