Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Edit Datasets filters
Main
Tasks
Libraries
Languages
Licenses
Other
1
Reset Other
keypoint-generation
Synthetic
art
code
medical
biology
finance
legal
chemistry
agent
music
climate
Apply filters
Datasets
22
Full-text search
Edit filters
Sort: Trending
Active filters:
constraint-satisfaction
Clear all
shb777/RelatLogic-Reasoning
Viewer
•
Updated
Jun 26, 2025
•
115
•
49
•
5
strickvl/constraint-sat-1000
Viewer
•
Updated
May 8, 2025
•
1k
•
63
•
1
io-net/io_concise_instructionfollowing
Viewer
•
Updated
Jul 23, 2025
•
30k
•
24
ramendik/kimify-ifeval-like
Viewer
•
Updated
Jan 27
•
10.1k
•
53
MuratcanKoylan/impossible-moments
Viewer
•
Updated
Feb 17
•
420
•
19
•
4
MehmetKurmaz/AWARE-US
Viewer
•
Updated
Mar 1
•
122
•
30
•
1
beta3/GridCorpus_9M_Sudoku_Puzzles_Enriched
Viewer
•
Updated
Mar 7
•
8.99M
•
55
•
1
Mayfull/sudoku
Viewer
•
Updated
Mar 14
•
1M
•
41
brozonoyer/gram-n-queens
Viewer
•
Updated
Mar 17
•
48.6k
•
36
brozonoyer/gram-graph-coloring
Viewer
•
Updated
Mar 17
•
20.9k
•
43
zeyuzy/puzzle-bench
Viewer
•
Updated
Mar 28
•
122k
•
23
yubol/Heuristic_Override_Benchmark
Viewer
•
Updated
Apr 22
•
500
•
97
•
2
ZebraArena/ZebraArena
Viewer
•
Updated
May 5
•
2.45k
•
17
MathConstraint/MathConstraint-Easy
Viewer
•
Updated
May 6
•
266
•
67
MathConstraint/MathConstraint
Viewer
•
Updated
May 6
•
329
•
36
anon-xbench/xbench-v1
Updated
May 6
•
110
anon-xbench/xbench-code
Updated
May 6
•
170
AutomataBench/automata-bench
Viewer
•
Updated
Jun 24
•
660
•
29
faranglab/FinalSudoku
Preview
•
Updated
Jun 30
•
102
•
3
sudhaksmanian/IndiaWelfare-606
Viewer
•
Updated
18 days ago
•
521
•
40
siaglass/hitori-9x9-unique
Viewer
•
Updated
12 days ago
•
1.95k
•
41
stindardlogic/instruction-following-hard-sft-100k
Viewer
•
Updated
12 days ago
•
100k
•
39