Z3 solver and JavaSMT JNI wrapper. Z3 is provided under the MIT License.