Skip to content

feat: add find-solver and find-problem skills, fix KColoring/KN serialization#1040

Merged
GiggleLiu merged 6 commits into
mainfrom
feat/find-solver-find-problem-skills
Apr 11, 2026
Merged

feat: add find-solver and find-problem skills, fix KColoring/KN serialization#1040
GiggleLiu merged 6 commits into
mainfrom
feat/find-solver-find-problem-skills