Repository navigation

Add open variable lists - #248

Open

zayenz wants to merge 40 commits into

mainfrom

feature/open-cp

Open

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

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

Commits on Oct 23, 2026