Leonardo:根据http://goedel.cs.uiowa.edu/smtlib/papers/smt-lib-reference-v2.0-r10 .12.21.pdf 的第 3.7.1 节,=>
是右关联的并且=
是可链接的。不过Z3的网络版好像不支持这样的用途。我需要设置一个选项来获得这种行为吗?
谢谢..
Leonardo:根据http://goedel.cs.uiowa.edu/smtlib/papers/smt-lib-reference-v2.0-r10 .12.21.pdf 的第 3.7.1 节,=>
是右关联的并且=
是可链接的。不过Z3的网络版好像不支持这样的用途。我需要设置一个选项来获得这种行为吗?
谢谢..