使用 par-or 策略时出现分段错误

Question

This smt2 script 遇到分段错误。当使用 par-or 战术时，问题就出现了。它在没有这种策略的情况下工作。 我在 "Debian 3.2.60-1+deb7u3 x86_64 GNU/Linux" 机器上使用 z3 4.4.0。

Answer 1

感谢您报告此问题！模型翻译中确实存在一个错误，现在已在 unstable 分支中修复（截至 this）。