Repository navigation

Add open variable lists - #248

Draft

zayenz wants to merge 34 commits into

mainfrom

feature/open-cp

Draft

Add open variable lists#248
zayenz wants to merge 34 commits into
mainfrom
feature/open-cp

Commits on Oct 14, 2026
- Add scoped suppression of global propagator information
  zayenz
  committed
  141c07e
- Add scoped GPI opt-in and fix CBS cache iteration
  zayenz
  committed
  ef525f1
- Place posting flag in CBS alignment padding
  zayenz
  committed
  c65f45f
Commits on Oct 15, 2026
- Generalize pointer unmarking and trim GPI tests
  zayenz
  committed
  62777b1
- Use uintptr_t for pointer tag removal
  zayenz
  committed
  b0fe5d4
- Provide a fallback pointer integer type in Support
  zayenz
  committed
  e1ca30e
- Centralize unsigned pointer encodings in Support
  zayenz
  committed
  222ede3
- Add open integer variable sequences
  zayenz
  committed
  0c89572
- Compact sparse DFA state identifiers
  zayenz
  committed
  2a2f0d2
- Fix open sequence lifetime and materialization
  zayenz
  committed
  7543f7b
- Fix open sequence commits and regular edge cases
  zayenz
  committed
  f046593
- Fix open sequence compilation on Windows
  zayenz
  committed
  60613ad
- Generalize open sequences and reuse standard branching selectors
  zayenz
  committed
  2572b1d
- Fix open sequence no-good extraction and clone cleanup
  zayenz
  committed
  acfcd47
- Keep delayed open-sequence constraints in their posting group
  zayenz
  committed
  6c768fd
- Rename open variable sequences to lists
  zayenz
  committed
  3859006
- Use the standard harness for closed open-list constraints
  
  Mikael Zayenz Lagerkvist
  authored and
  zayenz
  committed
  ae6915f
- Harden open-list branching and clarify its public contract
  zayenz
  committed
  4035c03
- Simplify open-list branching and add a route example
  zayenz
  committed
  4c8309c
- Add constrained common-pattern mining example
  zayenz
  committed
  3df5b43
- Add reproducible common-pattern comparisons
  zayenz
  committed
  7e5829a
- Model constrained frequent subsequences with open lists
  zayenz
  committed
  dfbffd1
- Reduce projection work in common-pattern mining
  zayenz
  committed
  7a2eeb6
- Rename open-list prefix query to known_length
  zayenz
  committed
  af937ff
- Apply coding style guidance to pattern benchmark
  zayenz
  committed
  4f2b565
- Add BAB 15-puzzle example with open and fixed models
  zayenz
  committed
  f958ad0
- Defer open puzzle goal checks until board assignment
  zayenz
  committed
  e70dfbc
- Prune open puzzle states using the remaining move budget
  zayenz
  committed
  5de0160
- Use NoGPI for open-list factories and transitions
  zayenz
  committed
  114643a
- Document NoGPI scopes on open-list materialization methods
  zayenz
  committed
  8207ea7
- Simplify goal constraints in the open 15-puzzle model
  zayenz
  committed
  a0ab986
- Use IntArgs for puzzle neighbors
  zayenz
  committed
  1736f19
- Split puzzle goal implications with a shared BoolVar
  zayenz
  committed
  413db90
- Offer Manhattan move ordering in the puzzle example
  zayenz
  committed
  0d80c51

Commits

Commits on Oct 14, 2026

Commits on Oct 15, 2026