Talk:Z3/@comment-25857836-20150130230936/@comment-25857836-20150130235321

i see. never thought it would still be hard to get z3