Search Gradle plugins

Want to include your Gradle plugin here?
Plugin Latest Version

io.github.rascmatt.z3

Gradle plugin which provides platform dependent Z3 dependencies at build time

 1.0.1
(26 August 2025)

run.smt.dependency-properties

Allows you to store your dependency versions in separate properties file.

 1.0.0
(15 September 2017)