z3 kullanıyorum gayet memnunum.