A comprehensive, diverse, and verifiable dataset of over 83k logical puzzles generated by PuzzleClone.
PuzzleCloneData contains 83,657 unique logical reasoning puzzles procedurally generated from 86 seed puzzles.
The dataset spans:
Various applications of Satisfiability Modulo Theories (SMT) and SMT-like puzzles,
Classic logical puzzles like Sudoku, the Knapsack problem, and linearโฆ See the full description on the dataset page:
https://huggingface.co/datasets/hithink-ai/PuzzleClone.