RameshArvind/sat-problems
收藏Hugging Face2026-03-16 更新2026-03-29 收录
下载链接：
https://hf-mirror.com/datasets/RameshArvind/sat-problems
下载链接
链接失效反馈官方服务：
资源简介：
---
dataset_info:
features:
- name: clauses
list:
list: int64
- name: solution
list: bool
- name: n_vars
dtype: int64
- name: n_clauses
dtype: int64
- name: type
dtype: string
- name: clause_var_ratio
dtype: float64
splits:
- name: train
num_bytes: 4141607574
num_examples: 350000
- name: eval
num_bytes: 82911917
num_examples: 7000
- name: tts_eval
num_bytes: 42836125
num_examples: 4500
download_size: 3691931121
dataset_size: 4267355616
configs:
- config_name: default
data_files:
- split: train
path: data/train-*
- split: eval
path: data/eval-*
- split: tts_eval
path: data/tts_eval-*
---
提供机构：
RameshArvind
