Repository navigation

fix(z3): statically gate solver code to the declared z3/sympy subset - #338

Merged

codelion merged 2 commits into

algorithmicsuperintelligence:mainfrom

akushonkamen:fix/303-z3-ast-guard

Oct 10, 2026

Merged

fix(z3): statically gate solver code to the declared z3/sympy subset#338
codelion merged 2 commits into
algorithmicsuperintelligence:mainfrom
akushonkamen:fix/303-z3-ast-guard

Commits on Oct 10, 2026
- fix(z3): statically gate solver code to the declared z3/sympy subset
  akushonkamen
  committed
  90161d4
- fix(z3): close string-based evasions of the AST attribute denylist
  akushonkamen
  committed
  0420ba9