我正在使用Z3的Java API。在检查“满意度”(s.status)时，我遇到了段错误。有人可以帮忙调试这个问题吗？有什么方法可以转储消息以便我可以调试这个问题。我尝试使用 Log.open()，但似乎没有多大帮助。
提前致谢。
最佳答案
Log.open() 必须在与 Z3 进行任何其他交互之前调用。启用后，它将生成一个名为 z3.log 的文件，我们可以重播该文件，而无需访问您的应用程序/输入/数据/等。
'SATISFIABILITY' 和 s.status 都不是有效的 Z3/Java 表达式，因此我无法判断您到底想做什么。如果您认为其中任何一个问题是由于 Z3 中的错误造成的，请在我们的 issue tracker 中创建一个新问题。 .
关于java - Z3 SMT 段错误，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/36651476/