Fix z3 solver arm64 build#298

codelion merged 2 commits intomainalgorithmicsuperintelligence/optillm:mainfrom

fix-z3-solver-arm64-buildalgorithmicsuperintelligence/optillm:fix-z3-solver-arm64-buildCopy head branch name to clipboard