数据集概述
本数据集为MinHit-ASP的补充材料，包含数据集及相关脚本文件，共五个文件。内容涉及MinHit-ASP工具运行所需的基准测试套件、格式转换脚本、工具运行脚本及说明文档，可支持MinHit-ASP工具的实验运行与数据处理。
文件详解
- README.md
- 文件格式：MD
- 字段映射介绍：包含MinHit-ASP的目录说明（基准测试套件input、脚本convert_to_mhs.py和run_clingo.py）、前置条件（Clingo安装方法）及工具运行步骤（Linux系统下的执行说明）
- 74L85.001.matrix.dat
- 文件格式：DAT
- 字段映射介绍：MinHit-ASP相关的矩阵数据文件
- run_clingo.py
- 文件格式：PY
- 字段映射介绍：用于运行MinHit-ASP工具的Python脚本
- convert_to_mhs.py
- 文件格式：PY
- 字段映射介绍：MinHit-ASP相关的格式转换Python脚本
- input.zip
- 文件格式：ZIP
- 字段映射介绍：MinHit-ASP的基准测试套件压缩包
适用场景
- MinHit-ASP工具实验运行: 借助run_clingo.py脚本在Linux系统中执行MinHit-ASP工具的实验
- 数据格式转换: 使用convert_to_mhs.py脚本完成MinHit-ASP相关数据的格式转换
- 基准测试分析: 基于input.zip中的基准测试套件开展MinHit-ASP工具的性能测试
- 工具使用指导: 通过README.md文档了解MinHit-ASP的目录结构、安装要求及运行流程
