Skip to content

chore(build): remove bundled Z3 support - #3275

Merged
SDAChess merged 2 commits into
mainfrom
chore/remove-bundled-z3
Oct 1, 2026
Merged

chore(build): remove bundled Z3 support#3275
SDAChess merged 2 commits into
mainfrom
chore/remove-bundled-z3

fix(build): preserve vendored Z3 for local gateway artifacts

4da75d9
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar