io.github.rascmatt.z3.gradle.plugin/