size_categories:n<1K format:parquet modality:tabular modality:text library:datasets library:pandas library:mlcroissant library:polars region:us
---
dataset_info:
  features:
  - name: name
    dtype: string
  - name: n_vars
    dtype: int64
  - name: n_clauses
    dtype: int64
  - name: clauses
    sequence:
      sequence: int64
  - name: marginals
    sequence: float64
  - name: assignments
    sequence: int64
  splits:
  - name: train
    num_bytes: 250842
    num_examples: 60
  - name: valid
    num_bytes: 10851
    num_examples: 2
  - name: test
    num_bytes: 13283
    num_examples: 2
  download_size: 43358
  dataset_size: 274976
configs:
- config_name: default
  data_files:
  - split: train
    path: data/train-*
  - split: valid
    path: data/valid-*
  - split: test
    path: data/test-*
---
