找到1个数据集

格式: ZIP 标签: TheSy

过滤结果

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

    2025年12月9日 30 118 110

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