ASAC算法综合基准数据集

ASAC 是面向算法综合的基准数据集，来源于竞赛编程任务，共包含136个任务。每个任务单独成目录，目录内通常包含“task_c” 与 “task_e”两组规格文件，文件格式覆盖docx、md、pdf、mzn以及对应的文本化MiniZinc说明文件；同时配有“tests/ans”、“tests/mzn_form”、“tests/origin_form” 三类测试子目录，分别保存标准输出、MiniZinc形式输入和原始输入样例。公开页面还给出了每个任务的算法标签与难度值。当前本地保留为1个链接信息xlsx文件。