Parallel solving#7771

Merged

NikolajBjorner merged 78 commits intoZ3Prover:ilanafrom

ilanashapiro:parallel-solving

Aug 11, 2025

Commits on Jul 23, 2025

very basic setup
ilanashapiro
committed

Commits on Jul 25, 2025

Commits on Jul 28, 2025

Commits on Jul 29, 2025

Merge branch 'ilana' into parallel-solving
NikolajBjorner
authored
set up worker thread batch manager for multithreaded batch cubes paradigm, need to debug as I am getting segfault still
ilanashapiro
committed
Merge branch 'parallel-solving' of github.com:ilanashapiro/z3 into parallel-solving
ilanashapiro
committed

Commits on Jul 30, 2025

fix bug in parallel solving batch setup
ilanashapiro
committed

Commits on Jul 31, 2025

fix bug
ilanashapiro
committed

Commits on Aug 7, 2025

Commits on Aug 9, 2025

initial attempt at dynamically switching from greedy to frugal splitting strategy in return_cubes. need to test. also there is some bug where the threads take forever to cancel?
ilanashapiro
committed

Commits on Aug 10, 2025

Update RELEASE_NOTES.md
NikolajBjorner
committed

Commits on Aug 11, 2025