Search Gradle plugins

Plugin	Latest Version
io.github.rascmatt.z3 Gradle plugin which provides platform dependent Z3 dependencies at build time #z3 #smt #solver #jni	1.0.2 (03 September 2025)
run.smt.dependency-properties Allows you to store your dependency versions in separate properties file. #dependency-management #versions #versioning	1.0.0 (15 September 2017)