Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Apr 26, 2026

• update

  GiggleLiu

  committed
  cbfad84

  Copy full SHA for cbfad84

Commits on Apr 21, 2026

• Add MaximumClique<SimpleGraph, One> variant with weight cast and reductions (#1055)

  Show description for b3b18f1
  

  GiggleLiu

  and

  claude

  authored
  b3b18f1

  Copy full SHA for b3b18f1

Commits on Apr 18, 2026

• Redefine BMF as exact factorization; fix BicliqueCover semantics; add BMF → BicliqueCover (#1056)

  Show description for 9ff62f0
  

  GiggleLiu

  and

  claude

  authored
  9ff62f0

  Copy full SHA for 9ff62f0

Commits on Apr 17, 2026

• Paper review sessions 1-6: entries 1-60 (#1051)

  Show description for ff8ae70
  

  isPANN

  and

  claude

  authored
  ff8ae70

  Copy full SHA for ff8ae70

• Add variant-level aliases; introduce 2SAT and 3SAT (#1054)

  Show description for d4060d6
  

  GiggleLiu

  and

  claude

  authored
  d4060d6

  Copy full SHA for d4060d6

• fix: remove 8 unsound reductions, fix 8 buggy rules (#1006) (#1052)

  Show description for 06d7f27
  

  isPANN

  and

  claude

  authored
  06d7f27

  Copy full SHA for 06d7f27

Commits on Apr 14, 2026

• fix paper completeness check false warning (#1049)

  Show description for e38b1b5
  

  isPANN

  and

  claude

  authored
  e38b1b5

  Copy full SHA for e38b1b5

• Beautify paper: cover page, indices, CLI args, page numbering (#1045)

  Show description for f2a3648
  isPANN

  authored
  f2a3648

  Copy full SHA for f2a3648

Commits on Apr 12, 2026

• fix issues (#1042)

  GiggleLiu

  authored
  d8a6168

  Copy full SHA for d8a6168

• update docs

  GiggleLiu

  committed
  3024163

  Copy full SHA for 3024163

Commits on Apr 11, 2026

• update skills

  GiggleLiu

  committed
  c4877e1

  Copy full SHA for c4877e1

• release: v0.5.0

  GiggleLiu

  committed
  0c11475

  Copy full SHA for 0c11475

• Merge branch 'main' of github.com:CodingThrust/problem-reductions

  GiggleLiu

  committed
  cbd4af9

  Copy full SHA for cbd4af9

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

  Show description for f85865a
  

  GiggleLiu

  and

  claude

  authored
  f85865a

  Copy full SHA for f85865a

• fix(skill+cli): correct pred direction in find-solver/find-problem, fix KColoring/KN serialization

  Show description for 34b77c7
  

  GiggleLiu

  and

  claude

  committed
  34b77c7

  Copy full SHA for 34b77c7

• refactor(skill): find-solver Step 3 — auto-explore all hops instead of hop-by-hop

  Show description for 85f6d78
  

  GiggleLiu

  and

  claude

  committed
  85f6d78

  Copy full SHA for 85f6d78

• feat(skill): add find-problem skill — discover problems solvable via a given model

  Show description for 2e72c5d
  

  GiggleLiu

  and

  claude

  committed
  2e72c5d

  Copy full SHA for 2e72c5d

• docs: register find-solver skill in CLAUDE.md

  Show description for e782066
  

  GiggleLiu

  and

  claude

  committed
  e782066

  Copy full SHA for e782066

• feat(skill): add find-solver skill — interactive problem-to-solver guide

  GiggleLiu

  committed
  06d74ff

  Copy full SHA for 06d74ff

• docs: add solutions directory for find-solver skill output

  GiggleLiu

  committed
  f8e668b

  Copy full SHA for f8e668b

Commits on Apr 10, 2026

• feat: batch add 14 reduction rules (hard rules phase 2) (#1028)

  Show description for 0f9db3c
  

  GiggleLiu

  and

  claude

  authored
  0f9db3c

  Copy full SHA for 0f9db3c

• update papers

  GiggleLiu

  committed
  8cd6ac1

  Copy full SHA for 8cd6ac1

• paper sync

  GiggleLiu

  committed
  7e44a41

  Copy full SHA for 7e44a41

Commits on Apr 9, 2026

• docs: add Philosophy section to CLAUDE.md

  Show description for 1a91afb
  

  GiggleLiu

  and

  claude

  committed
  1a91afb

  Copy full SHA for 1a91afb

Commits on Apr 8, 2026

• feat: batch implement reduction rules (phases 1-3) (#1017)

  Show description for a784239
  

  GiggleLiu

  and

  claude

  authored
  a784239

  Copy full SHA for a784239

Commits on Apr 7, 2026

• feat: Decision wrapper for optimization→decision conversion (#1014)

  Show description for fb9c608
  

  GiggleLiu

  and

  claude

  authored
  fb9c608

  Copy full SHA for fb9c608

Commits on Apr 6, 2026

• feat: add verify-reduction skill (#979)

  Show description for 07caf14
  

  3 peopleauthored
  07caf14

  Copy full SHA for 07caf14

• feat: add 11 medium-confidence reduction rules (#1010)

  Show description for 90fcc85
  

  GiggleLiu

  and

  claude

  authored
  90fcc85

  Copy full SHA for 90fcc85

Commits on Apr 5, 2026

• refactor: schema-driven pred create (11K → 2.3K lines) (#1008)

  Show description for 22c4b05
  

  GiggleLiu

  and

  claude

  authored
  22c4b05

  Copy full SHA for 22c4b05

Commits on Apr 4, 2026

• fix(#974): add 39 example-db tests and 31 paper entries for reduction rules (#997)

  Show description for 2c81f94
  

  3 peopleauthored
  2c81f94

  Copy full SHA for 2c81f94

• feat: batch implement 17 reduction rules with 14 new models (#999)

  Show description for c57a131
  

  GiggleLiu

  and

  claude

  authored
  c57a131

  Copy full SHA for c57a131

Commits on Apr 1, 2026

• feat: add 20 problem models with ILP rules (#976)

  Show description for 61f059c
  

  isPANN

  and

  claude

  authored
  61f059c

  Copy full SHA for 61f059c

Commits on Mar 31, 2026

• feat: add 10 reduction rules (#770) (#972)

  Show description for 423506c
  

  zazabap

  and

  claude

  authored
  423506c

  Copy full SHA for 423506c

• feat: add 38 problem models (#960)

  Show description for 183b19a
  

  isPANN

  and

  claude

  authored
  183b19a

  Copy full SHA for 183b19a

Commits on Mar 30, 2026

• feat: add 11 Tier 1a + 1b medium-confidence reduction rules (#770) (#804)

  Show description for 0f51be6
  

  3 peopleauthored
  0f51be6

  Copy full SHA for 0f51be6