Matthew Gretton-Dann mgrettondann
0 Followers · 0 Following
  • Joined on 2024-03-12
Repositories
4
 Projects Packages Public Activity Starred Repositories
39ff5cb340 solver: add optional component-area pruning
mgrettondann created branch codex/issue-13-component-area in mgrettondann/partridge-cpp 2026-07-31 08:40:52 +01:00
220cec06a9 solver: prune unplaceable large squares
mgrettondann created branch codex/issue-15-large-square-pruning in mgrettondann/partridge-cpp 2026-07-31 08:25:49 +01:00
e27427d231 solver: prune insufficient valley capacity
mgrettondann created branch codex/issue-10-valley-pruning in mgrettondann/partridge-cpp 2026-07-31 08:11:43 +01:00
mgrettondann pushed to codex/issue-3-d4-symmetry at mgrettondann/partridge-cpp 2026-07-30 18:18:56 +01:00
f37e08768d solver: break board dihedral symmetry
mgrettondann created branch codex/issue-3-d4-symmetry in mgrettondann/partridge-cpp 2026-07-30 18:18:56 +01:00
74bde266d0 solver: select skyline candidate policy
mgrettondann created branch codex/issue-12-candidate-policy in mgrettondann/partridge-cpp 2026-07-30 18:07:46 +01:00
mgrettondann pushed to codex/issue-4-skyline at mgrettondann/partridge-cpp 2026-07-30 17:55:41 +01:00
d751d1b13e solver: replace cell DFS with skyline search
mgrettondann created branch codex/issue-4-skyline in mgrettondann/partridge-cpp 2026-07-30 17:55:41 +01:00
mgrettondann commented on issue mgrettondann/partridge-cpp#12 2026-07-30 17:54:40 +01:00
solver: benchmark candidate ordering and portfolio search

Does a single policy apply across multiple sizes?

0a7ce1e49e bench: add optional CP-SAT reference
mgrettondann created branch codex/issue-5-cp-sat-reference in mgrettondann/partridge-cpp 2026-07-30 17:40:36 +01:00
3e667d6de0 solver: construct odd-order solutions
mgrettondann created branch codex/issue-6-odd-construction in mgrettondann/partridge-cpp 2026-07-30 17:24:22 +01:00
mgrettondann pushed to codex/issue-8-benchmarks at mgrettondann/partridge-cpp 2026-07-30 17:11:55 +01:00
ddf07e730a bench: record clean solver baseline
598667b2f3 bench: add repeatable solver measurements
Compare 2 commits »
mgrettondann created branch codex/issue-8-benchmarks in mgrettondann/partridge-cpp 2026-07-30 17:11:55 +01:00
ce39d0a4d0 solver: check completion before probing square
ccdcf03fa8 test: cover completed solver boards
Compare 2 commits »