找到1个数据集

分类: 公开数据 标签: 理论探索实验

过滤结果

  • 代数数据类型的快速理论探索程序变换可复现性包

    2025年12月9日 30 13 12

    数据集概述 本数据集是一个可复现性包，包含论文中提出的工具LemmaCalc、基准测试文件、TheSy二进制文件、适用于Linux系统的Z3二进制文件及实验复现脚本，支持论文中图表1的主要结果及算法1至3的实现验证。 文件详解 LICENSE: 无扩展名文件，包含数据集的许可协议说明。 README.md:...
    packageimg