cl-agi/3SAT_256
收藏Hugging Face2026-03-26 更新2026-03-29 收录
下载链接：
https://hf-mirror.com/datasets/cl-agi/3SAT_256
下载链接
链接失效反馈官方服务：
资源简介：
---
license: mit
dataset_info:
features:
- name: id
dtype: int64
- name: n
dtype: int64
- name: assignment
list: int64
- name: clauses
list:
list: int64
splits:
- name: train
num_bytes: 32620000
num_examples: 1000
- name: test
num_bytes: 32620000
num_examples: 1000
download_size: 58143782
dataset_size: 65240000
configs:
- config_name: default
data_files:
- split: train
path: data/train-*
- split: test
path: data/test-*
---
提供机构：
cl-agi
