-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: Eignex/klause
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
perf: run duplicate-column merging to its own fixpoint in one pass
#962
opened Jul 4, 2026 by
rasros
Contributor
Loading…
perf: skip the symmetry generator search on the fruitless high-cost band
#961
opened Jul 4, 2026 by
rasros
Contributor
Loading…
perf: resume the affine candidate scan from the fold's lowest rewritten factor
#960
opened Jul 3, 2026 by
rasros
Contributor
Loading…
perf: seed symmetry colour refinement by survivors on wide-sparse domains
#959
opened Jul 3, 2026 by
rasros
Contributor
Loading…
perf: fold wide-sparse domain reductions as compact survivor sets
#958
opened Jul 3, 2026 by
rasros
Contributor
Loading…
refactor: compose SolveStats fully from per-concern stat records
#957
opened Jul 3, 2026 by
rasros
Contributor
Loading…
refactor: extract LpStats cluster from the SolveStats god-object
#956
opened Jul 3, 2026 by
rasros
Contributor
Loading…
feat: make local-search arms optimize on a COP (SA annealing, objective-bound ratchet)
#952
opened Jul 3, 2026 by
rasros
Contributor
Loading…
ProTip!
Filter pull requests by the default branch with base:main.