找到2个数据集

标签: properties文件

过滤结果

  • AxSAT_JELIA_2025_SAT规划实验代码与结果数据

    2026年1月28日 30 187 29

    数据集概述 本数据集为JELIA 2025论文《AxSAT - Bringing Axioms to SAT Planning》的配套资源，包含扩展版Fast Downward规划系统代码、PDDL基准测试用例、原始实验数据及解析后的数据，共4个文件，用于支持SAT规划算法AxSAT的实验复现与分析。 文件详解 代码文件 文件名称：code.zip...
    packageimg

  • 带OCL不变量注释的UML类图示例数据集

    2025年12月7日 30 98 17

    数据集概述 该数据集包含11个带OCL不变量注释的UML类图示例，旨在作为工具测试套件，用于验证UML/OCL类图中约束的可满足性。数据采用USE文本格式描述类图元素及OCL约束，每个模型配有.properties文件支持有限可满足性检查。 文件详解 文件名称: examples.zip 文件格式: ZIP压缩包 内容说明:...
    packageimg