找到1个数据集

标签: SMTLIB20

过滤结果

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

    2025年12月13日 30 94 87

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