associativity of => and chainability of =

Leonardo: According to http://goedel.cs.uiowa.edu/smtlib/papers/smt-lib-reference-v2.0-r10.12.21.pdf, section 3.7.1, => is right associative and = is chainable. However, it looks 开发者_如何学Golike the online version of Z3 does not support such uses. Is there an option I need to set to get this behavior?

Thanks..

---

No, Z3 3.1 (and older versions) do not support these two 'features'. I will add them to Z3 3.2.