Skip to content

Configurable backend and per-solve scratch allocator - #467

Merged
lkdvos merged 25 commits into
mainfrom
reuse-buf
Aug 5, 2026
Merged

Configurable backend and per-solve scratch allocator#467
lkdvos merged 25 commits into
mainfrom
reuse-buf

test: build the scheduler-parametrized starting states from scratch

1d34dd9
Select commit
Loading
Failed to load commit list.