相关数据集
IF_multi_constraints_upto5
该数据集包含关键信息、消息内容（包括内容和角色）、真实标签、数据集名称、约束类型和约束等信息。数据集被划分为训练集，共有95373个示例，总大小为162248324字节。
Hugging Face2025-06-04 更新210
sudoku-extreme
Sudoku-Extreme consists of 1,000 base puzzles augmented 1,000\u00d7 via symmetry transformations (rotations, reflections, block permutations), yielding 1,000,000 training examples. Each puzzle is a 9\
IEEE80
Benchmark Instances for Workflow Satisfiability Problem
该数据集是为了评估不同解算器在处理工作流可满足性问题（WSP）时的性能而生成的一系列基准实例。这些实例考虑了不同数量的用户和约束条件。实例生成器支持多种约束，如职责分离（SoD）、最多三人（AM3）、SUAL、WL和ADA等，这些都是基于现实世界应用而设计的。该任务旨在对不同解算器在WSP实例上的性能进行比较。
arXiv60
khoomeik/satscale-ca-20
该数据集包含多个特征，如名称、变量数量、子句数量、子句序列、边缘概率序列和赋值序列。数据集被分为训练集、验证集和测试集，分别包含20个、1个和1个样本。数据集的下载大小为22163字节，总大小为69620字节。
Hugging Face2024-07-16 更新110
khoomeik/satscale-ca-20000
该数据集包含多个特征，如名称、变量数量、子句数量、子句序列、边缘概率序列和分配序列。数据集被分为训练集、验证集和测试集，其中训练集包含20000个样本，验证集和测试集各包含100个样本。数据集的下载大小为8095546字节，总大小为65516526字节。
Hugging Face2024-07-16 更新80
