问题Wonder if Z3 java bindings has get_vars() API, to get all the variables in the formula? 来源：https://stackoverflow.com/questions/22185826/whether-z3-java-bindings-has-the-get-vars-api-as-python-or-not 标签 java Z3
