Uniqueness-Preserving Clue Minimization

Installation
SKILL.md

Uniqueness-Preserving Clue Minimization

Construct concise puzzles by starting from a valid clue pool and removing redundant constraints while preserving one programmatically verified solution.

Routing

Use this skill when the current self-play generation target matches the name and description above. Load rules.md after the skill is selected, and load examples.jsonl only when full disclosure or diagnostic expansion is needed.

Package Files

  • rules.md: procedural generation, solving, difficulty, and validation rules.
  • solver_rules.md: compact solver-facing deduction rules.
  • examples.jsonl: pattern examples and cautions.
  • generator_hints.md: compact questioner-facing generation advice.
  • compiler.json: declarative compiler resource interpreted by the fixed logical runtime.
  • stats.json: sampling and curriculum statistics.
Installs
–
GitHub Stars
150
First Seen
–
Uniqueness-Preserving Clue Minimization — qwen-applications/skill-self-play