Skip to content

Commits

Branch selector

User selector

Commit History

Commits on Jun 11, 2026

release: v0.6.0
GiggleLiu GiggleLiu
committed

Commits on Jun 4, 2026

Batch-add 13 Backlog Models + 26 Backlog Rules (#1067)
isPANNclaude
isPANN
and
claude
authored

Commits on May 28, 2026

Precompute reduction graph layout with ELK
GiggleLiu GiggleLiu
committed

Commits on May 12, 2026

Drain board queues continuously in run-*-forever loops
GiggleLiuclaude
GiggleLiu
and
claude
committed

Commits on May 1, 2026

Fix #1059: add `pred extract` for lifting external target-space solutions (#1060)
isPANNclaude
isPANN
and
claude
authored
Make MIS → KingsSubgraph reduction deterministic (#1061) (#1063)
isPANNclaude
isPANN
and
claude
authored
Align CBM serialized form with declared schema (#1065)
GiggleLiuclaude
GiggleLiu
and
claude
authored

Commits on Apr 29, 2026

Switch broken CBM example in README to MIS (#1064)
GiggleLiuclaude
GiggleLiu
and
claude
authored

Commits on Apr 26, 2026

update
GiggleLiu GiggleLiu
committed

Commits on Apr 21, 2026

Add MaximumClique<SimpleGraph, One> variant with weight cast and reductions (#1055)
GiggleLiuclaude
GiggleLiu
and
claude
authored

Commits on Apr 18, 2026

Redefine BMF as exact factorization; fix BicliqueCover semantics; add BMF → BicliqueCover (#1056)
GiggleLiuclaude
GiggleLiu
and
claude
authored

Commits on Apr 17, 2026

Paper review sessions 1-6: entries 1-60 (#1051)
isPANNclaude
isPANN
and
claude
authored
Add variant-level aliases; introduce 2SAT and 3SAT (#1054)
GiggleLiuclaude
GiggleLiu
and
claude
authored
fix: remove 8 unsound reductions, fix 8 buggy rules (#1006) (#1052)
isPANNclaude
isPANN
and
claude
authored

Commits on Apr 14, 2026

Commits on Apr 12, 2026

Commits on Apr 11, 2026

update skills
GiggleLiu GiggleLiu
committed
release: v0.5.0
GiggleLiu GiggleLiu
committed
Merge branch 'main' of github.com:CodingThrust/problem-reductions
GiggleLiu GiggleLiu
committed
feat: add find-solver and find-problem skills, fix KColoring/KN serialization (#1040)
GiggleLiuclaude
GiggleLiu
and
claude
authored
fix(skill+cli): correct pred direction in find-solver/find-problem, fix KColoring/KN serialization
GiggleLiuclaude
GiggleLiu
and
claude
committed
refactor(skill): find-solver Step 3 — auto-explore all hops instead of hop-by-hop
GiggleLiuclaude
GiggleLiu
and
claude
committed
feat(skill): add find-problem skill — discover problems solvable via a given model
GiggleLiuclaude
GiggleLiu
and
claude
committed
docs: register find-solver skill in CLAUDE.md
GiggleLiuclaude
GiggleLiu
and
claude
committed
feat(skill): add find-solver skill — interactive problem-to-solver guide
GiggleLiu GiggleLiu
committed
docs: add solutions directory for find-solver skill output
GiggleLiu GiggleLiu
committed

Commits on Apr 10, 2026

feat: batch add 14 reduction rules (hard rules phase 2) (#1028)
GiggleLiuclaude
GiggleLiu
and
claude
authored
update papers
GiggleLiu GiggleLiu
committed
paper sync
GiggleLiu GiggleLiu
committed

Commits on Apr 9, 2026

docs: add Philosophy section to CLAUDE.md
GiggleLiuclaude
GiggleLiu
and
claude
committed

Commits on Apr 8, 2026

feat: batch implement reduction rules (phases 1-3) (#1017)
GiggleLiuclaude
GiggleLiu
and
claude
authored

Commits on Apr 7, 2026

feat: Decision wrapper for optimization→decision conversion (#1014)
GiggleLiuclaude
GiggleLiu
and
claude
authored

Commits on Apr 6, 2026

feat: add verify-reduction skill (#979)
zazabapclaudeGiggleLiu
authored