在不使用 SharedArrayBuffer 或 COOP/COEP 头的情况下, z3-solver 的替代解决方案
作者: MargeKh创建于 2024年5月29日更新于 2026年7月13日
我使用 Angular 并尝试使用 z3-solver 解决一些复杂任务。然而，当我使用 npm 包或最新版 z3 时，它需要 SharedArrayBuffer，而 SharedArrayBuffer 需要特殊的头部。问题在于，由于在 iframe 中加载的第三方库（如 YouTube）的安全问题，我无法为整个应用设置 COOP 和 COEP 头部。我使用 NGINX 为 z3 设置环境，以下是我从 .conf 中的代码：
内容来源: Z3Prover/z3