Repository navigation
Conversation
zayenz
force-pushed
the
feature/open-cp
branch
from
October 4, 2026 18:18
58bf387 to
c693533
Compare
zayenz
changed the base branch from
main
to
feature/improved-regular-construction
October 4, 2026 18:18
zayenz
changed the title
zayenz
added this pull request to stack #250
October 5, 2026 13:21
zayenz
force-pushed
the
feature/open-cp
branch
from
October 8, 2026 15:15
c4eea85 to
4da8674
Compare
zayenz
force-pushed
the
feature/open-cp
branch
2 times, most recently
from
October 12, 2026 19:30
e7e8370 to
5e20c4f
Compare
zayenz
force-pushed
the
feature/open-cp
branch
from
October 15, 2026 12:49
462123d to
e2a0fe9
Compare
Construct boards through an OpenIntVarList path transition and compare with a bounded array model using the same slide and goal rules. Minimize moves with BAB, and expose independent scramble, seed, and move-limit options. Keep the default move limit at twelve for a short demonstration. Register the example in CMake and Autoconf, including its generated include dependencies, and document state-versus-move length accounting. Validated both models in Debug and ASan/UBSan builds with the defaults, an explicit scramble/limit/seed case, a solved start, and an insufficient move bound. Replayed every printed path to verify legal slides and the goal board. Independent Astra review passed.
Wait for the current board to become assigned before closing or extending the path. Keep callback captures limited to the state index and retrieve the model from the supplied space. Remove the initial Manhattan lower bound on length to avoid constructing future boards at the root. Both models pass small explicit, solved-start, and insufficient-limit cases in Debug and ASan/UBSan builds. Printed paths were replayed, and a root diagnostic confirms two constructed boards for scramble20/limit32, seed3. Independent focused review passes. The open default now exceeds a 30-second Debug cutoff because delayed goal detection removes early backward goal propagation. Its usability needs a separate coordinated follow-up; no extra pruning rule is included in this model correction.
Reject assigned boards whose Manhattan distance cannot fit the current path upper bound. Recheck this condition after incumbent cuts, taking care not to read a board before propagation assigns it. Force the goal when a constructed board reaches the final permitted state. Keep path growth lazy: these checks do not increase its minimum length or construct future boards. The fixed model and shared slide rules stay unchanged. Focused Debug and ASan/UBSan runs pass for defaults, explicit options, a solved start and an insufficient move limit. Printed paths were replayed. The default open model completes in 39 nodes, and the root probe still constructs two boards for scramble20/limit32/seed3. Independent Astra recheck passes.
zayenz
force-pushed
the
feature/open-cp
branch
from
October 15, 2026 13:47
e2a0fe9 to
8207ea7
Compare
This branch has not been deployed
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Add variable lists whose length is decided during propagation and search. Variables are constructed as positions are needed, so a sequence can grow without a padded suffix.
OpenIntVarList,OpenBoolVarList, and genericOpenVarList<Var>with factory and transition callbacks.Depends on #257. Factories and transitions use
Space::NoGPIby default. Callbacks can useSpace::UseGPIfor selected postings that need ordinary AFC.Focused tests and examples passed on macOS, including ASan/UBSan checks and independent pattern-mining comparisons. A broader sanitizer run failed during FlatZinc brancher construction. Linux and Windows validation is pending.