找到2个数据集

标签: Z3求解器

过滤结果

  • 布尔部分多态性验证数据集

    2025年12月13日 30 97 36

    数据集概述 该数据集包含布尔部分多态性验证的相关文件，围绕特定三元布尔合取函数f是否保持两种布尔关系（ΓL₀(χ₂)、ΓL₂(χ₃)）的问题展开，通过将问题转化为SMT-LIB2.0格式并使用Z3求解器验证，提供了问题实现文件、求解器输出及形式化证明等内容。 文件详解 f-pPol-GammaL0chi2-GammaL2chi3.z3：SMT-...
    packageimg

  • 基于延迟累积调度的优化模理论基准数据集2025

    2025年12月7日 30 7 6

    数据集概述 本数据集包含针对“基于延迟累积调度的优化模理论”研究的基准测试数据及生成脚本，涵盖BMM2016真实数据和芬兰赫尔辛基地区环境服务局（HSY）的污水处理厂数据，支持调度算法性能评估与验证。 文件详解 压缩文件（基准测试集）：...
    packageimg