标签： z3
Leonardo：根据http://goedel.cs.uiowa.edu/smtlib/papers/smt-lib-reference-v2.0-r10.12.21.pdf第3.7.1节，=>是正确的关联，=是可链接的。但是，看起来Z3的在线版本不支持此类用途。我需要设置一个选项才能获得此行为吗？
=>
=
谢谢..
答案 0 :(得分：1)
不，Z3 3.1（和旧版本）不支持这两个“功能”。 我将它们添加到Z3 3.2。