#7842·z3模型不正确作者: LeventErkok创建于 2025年9月2日更新于 2026年9月11日标签Floats此查询应为 `unsat`。内容来源: Z3Prover/z3查看 GitHub 原文在 GitHub 查看讨论