Dataset · Hugging Face

MathConstraint/MathConstraint-Easy

Name: MathConstraint-Easy
Creator: MathConstraint
License: cc-by-4.0
Keywords: language:en, license:cc-by-4.0, size_categories:n<1K, format:json, modality:text, library:datasets, library:pandas, library:polars, library:mlcroissant, region:us, combinatorial-reasoning, constraint-satisfaction, benchmark, llm-evaluation

MathConstraint-Easy A 266-instance benchmark of natural-language combinatorial constraint-satisfaction problems with solver-verified ground truth. 25 problem types drawn from constraint programming (PyCSP3) and SAT-modulo-symmetries on graphs (pysms). 206 SAT / 60 UNSAT; SAT instances split 103 / 103 into hinted and unhinted. A harder companion split is at MathConstraint. Files problems.jsonl — canonical data file; one JSON record per line instances/<name>.json —… See the full description on the dataset page: https://huggingface.co/datasets/MathConstraint/MathConstraint-Easy.

View on Hugging FaceReport an issue

Author / organization	MathConstraint
License (as declared)	cc-by-4.0
Downloads	161 (as reported by Hugging Face)
Likes	0
Created	6 May 2026
Last updated at source	6 May 2026

combinatorial-reasoningconstraint-satisfactionbenchmarkllm-evaluation

Embed this entry

<iframe src="https://silytics.si/embed/item/fafd721e-6806-472c-b0b1-768ed91a9596" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 16 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.