Repository navigation

Add experimental A* and CABS search - #256

Open

zayenz wants to merge 115 commits into

mainfrom

feature/open-search

Open

Add experimental A* and CABS search#256
zayenz wants to merge 115 commits into
mainfrom
feature/open-search

Commits on Oct 23, 2026
- Add open integer variable sequences
  zayenz
  committed
  b2b94e5
- Fix open sequence lifetime and materialization
  zayenz
  committed
  14b39d0
- Fix open sequence commits and regular edge cases
  zayenz
  committed
  88bd288
- Fix open sequence compilation on Windows
  zayenz
  committed
  8b61b80
- Generalize open sequences and reuse standard branching selectors
  zayenz
  committed
  3ee2e54
- Fix open sequence no-good extraction and clone cleanup
  zayenz
  committed
  274ef9c
- Keep delayed open-sequence constraints in their posting group
  zayenz
  committed
  9878c8a
- Rename open variable sequences to lists
  zayenz
  committed
  2669990
- Use the standard harness for closed open-list constraints
  
  Mikael Zayenz Lagerkvist
  authored and
  zayenz
  committed
  c4624b8
- Harden open-list branching and clarify its public contract
  zayenz
  committed
  4c2953a
- Simplify open-list branching and add a route example
  zayenz
  committed
  63ac62b
- Add constrained common-pattern mining example
  zayenz
  committed
  66dc7ec
- Add reproducible common-pattern comparisons
  zayenz
  committed
  8a05972
- Model constrained frequent subsequences with open lists
  zayenz
  committed
  a6b9ab4
- Reduce projection work in common-pattern mining
  zayenz
  committed
  a78e273
- Rename open-list prefix query to known_length
  zayenz
  committed
  26252a0
- Apply coding style guidance to pattern benchmark
  zayenz
  committed
  11d136d
- Add BAB 15-puzzle example with open and fixed models
  zayenz
  committed
  dc134a0
- Defer open puzzle goal checks until board assignment
  zayenz
  committed
  cb31e86
- Prune open puzzle states using the remaining move budget
  zayenz
  committed
  cce4d96
- Use NoGPI for open-list factories and transitions
  zayenz
  committed
  3e4717e
- Document NoGPI scopes on open-list materialization methods
  zayenz
  committed
  60eafbb
- Simplify goal constraints in the open 15-puzzle model
  zayenz
  committed
  01d8513
- Use IntArgs for puzzle neighbors
  zayenz
  committed
  ac2d1b5
- Split puzzle goal implications with a shared BoolVar
  zayenz
  committed
  e2bff5b
- Offer Manhattan move ordering in the puzzle example
  zayenz
  committed
  3b16330
- Fix open-list replay printing and test dependencies
  zayenz
  committed
  47489ab
- Tighten open-list documentation
  zayenz
  committed
  3973150
- Keep open-list contributions focused and recheck closure during pruning
  zayenz
  committed
  e926606
- Include the common-pattern helper in example headers
  zayenz
  committed
  1a7b33c
- Clarify open-list invariants and simplify prefix filtering
  zayenz
  committed
  67f61f2
- Restore prefix-projection algorithm attribution
  zayenz
  committed
  49b7952
- Move generated dependencies to a separate follow-up PR
  zayenz
  committed
  fed4876
- Separate open-list changelog details from the summary
  zayenz
  committed
  3dc3d3e
- Trim duplicate open-list tests and explanations
  zayenz
  committed
  093f847
- Prune open regular prefixes using the maximum list length
  
  Mikael Zayenz Lagerkvist
  authored and
  zayenz
  committed
  1258d27
- Clarify open-list documentation and example explanations
  zayenz
  committed
  a1bcec1
- Remove redundant transition callback assertion
  zayenz
  committed
  4ac4ada
- Simplify open-list validation and pattern projection
  zayenz
  committed
  e11429a
- Clarify open-list examples and use scoped enum types
  zayenz
  committed
  de4c400
Commits on Oct 26, 2026
- Propagate open-list constraints incrementally
  zayenz
  committed
  d1693fd
- Index open-list variable identities for alias checks
  zayenz
  committed
  6657bf6
- Filter overlapping open-list windows in linear sweeps
  zayenz
  committed
  293a614
- Use an explicit allocation count for open distinct on Windows
  zayenz
  committed
  89dd21b
- Use open view lists in propagators and branchers
  zayenz
  committed
  bc66fd5
- Propagate open-list relations with native specialized actors
  zayenz
  committed
  dfb8855
- Use compact growable range storage for open distinct
  zayenz
  committed
  ed4fab4
- Use space-owned view storage in open distinct
  zayenz
  committed
  ca7f230
- Organize open-list actors by constraint family
  zayenz
  committed
  6ac85d4
- Record native search branch split and preserve research
  zayenz
  committed
  c586970
- Add tasks to open-search
  zayenz
  committed
  b7aedf1
- Extract standalone heuristic search onto open-cp
  zayenz
  committed
  ad62af3
- Add tasks to open-search
  zayenz
  committed
  d718ed9
- Gate heuristic search as experimental and separate preview changelog entries
  zayenz
  committed
  afdea38
- Record validated open-search rebase onto current open-cp
  zayenz
  committed
  e2be2d8
- Add tasks to open-search
  zayenz
  committed
  0a7b5ea
- Repair search completion and keep the preview compatible with Gecode 6.5
  zayenz
  committed
  507fc9a
- Use concrete wording in source comments and search documentation
  zayenz
  committed
  a96e11a
- Simplify heuristic search examples around the public interfaces
  zayenz
  committed
  ba7be44
- Keep brancher preparation policy in the search layer
  zayenz
  committed
  c11c042
- Invalidate completion witnesses at constraint posting
  zayenz
  committed
  4daf4f2
- Check every validated tour against benchmark optimality claims
  zayenz
  committed
  0f100e8
- Plan fifteen-puzzle heuristic search integration
  zayenz
  committed
  abcadb5
- Add tasks to open-search
  zayenz
  committed
  bc949cd
- Add A* and CABS to the fifteen-puzzle example
  zayenz
  committed
  2c270f2
- Add tasks to open-search
  zayenz
  committed
  94951cc
- Carry deferred puzzle goal checks into the heuristic branch
  zayenz
  committed
  ff71eff
- Add tasks to open-search
  zayenz
  committed
  f44a08a
- Restore puzzle pruning without eager board construction
  zayenz
  committed
  50e6936
- Add tasks to open-search
  zayenz
  committed
  95a21a9
- Record NoGPI stack integration and verification
  zayenz
  committed
  728e379
- Add tasks to open-search
  zayenz
  committed
  389274d
- Record NoGPI method documentation review
  zayenz
  committed
  8fe8e15
- Refresh open-search base after NoGPI rebase
  zayenz
  committed
  cc89d7c
- Refresh open-search base after NoGPI pointer updates
  zayenz
  committed
  9a20f29
- Add tasks to open-search
  zayenz
  committed
  3c49711
- Align puzzle simplification task with the fixed formulation
  zayenz
  committed
  85a4773
- Record verified fixed-style puzzle simplification
  zayenz
  committed
  686781a
- Add tasks to open-search
  zayenz
  committed
  7683c9d
- Use the requested IntArgs neighbor representation
  zayenz
  committed
  ce43c8d
- Record verified IntArgs puzzle neighbors
  zayenz
  committed
  79e0535
- Add tasks to open-search
  zayenz
  committed
  f38764c
- Record verified shared puzzle goal implications
  zayenz
  committed
  5081c8d
- Add tasks to open-search
  zayenz
  committed
  cc52c63
- Record verified Manhattan puzzle value selection
  zayenz
  committed
  4939b64
- Allow pending parallel stops in completion test
  zayenz
  committed
  fe06db8
- Tighten heuristic search documentation
  zayenz
  committed
  bc995be
- Remove saved heuristic-search results and work records
  zayenz
  committed
  785a7af
- Simplify experimental heuristic search
  zayenz
  committed
  e15c6d8
- Simplify heuristic search API and examples
  zayenz
  committed
  ec3f171
- Fix heuristic search integration and trim evaluation tools
  zayenz
  committed
  169b78d
- Add optional candidate dominance to CABS
  zayenz
  committed
  200ae99
- Add native parallel A* and CABS search
  zayenz
  committed
  c5c889f
- Index live CABS candidates for dominance
  zayenz
  committed
  0b42fa7
- Retain heuristic-search parents on parallel workers
  zayenz
  committed
  f27a42e
- Dispose of rejected heuristic-search spaces on workers
  zayenz
  committed
  ee82005
- Repair CABS heaps after single-candidate dominance replacement
  zayenz
  committed
  ba43029
- Consolidate heuristic search usage and avoid chunk-cache contention
  zayenz
  committed
  95c1c33
- Keep heuristic search examples focused and refresh build dependencies
  zayenz
  committed
  c9c46d1
- Model idle puzzle steps after reaching the goal
  zayenz
  committed
  b22abea
- Describe heuristic search using ordinary optimization terminology
  zayenz
  committed
  89afe9a
- Remove changelog entry for reverted chunk cache change
  zayenz
  committed
  1cacc78
- Document worker control for heuristic search engines
  zayenz
  committed
  8c6fb84
- Index CABS beam entries for direct dominance replacement
  zayenz
  committed
  9669c16
- Batch sibling admission in parallel CABS
  zayenz
  committed
  6a48b1a
- Simplify the TSPTW example and its validation
  zayenz
  committed
  ca5fcdc
- Explain heuristic search contracts and example invariants
  zayenz
  committed
  44174d5
- Trim dependency churn and remove TSPTW validation tooling
  zayenz
  committed
  93b262b
- Keep search documentation in the changelog and API reference
  zayenz
  committed
  9c54c26
- Remove ancillary search tooling and redundant explanations
  zayenz
  committed
  dc682b5
- Restore experimental changelog grouping and validation
  zayenz
  committed
  4d092e1
- Clarify heuristic search documentation
  zayenz
  committed
  1ec9352
- Clarify search worker flow and remove redundant checks
  zayenz
  committed
  3307003
- Clarify heuristic search state and control flow
  zayenz
  committed
  da11e83
- Centralize beam admission and parallel worker state
  zayenz
  committed
  11e7c25

Commits

Commits on Oct 23, 2026

Commits on Oct 26, 2026