z3-gradle-plugin/
z3/