io.github.rascmatt.z3
Owner:
Matthias Raschhofer
Gradle plugin which provides platform dependent Z3 dependencies at build time
https://github.com/rascmatt/z3-gradle-plugin
Sources: https://github.com/rascmatt/z3-gradle-plugin.git
Version 1.0.0
Created 25 August 2025.
Gradle plugin which provides platform dependent Z3 dependencies at build time
Add this plugin to your build using the plugins DSL:
plugins {
id("io.github.rascmatt.z3") version "1.0.0"
}
See also:
-
Adding the plugin to build logic for usage in precompiled script plugins.
See the relevant documentation for more information.
Add this plugin as a dependency to
<convention-plugins-build>/build.gradle(.kts)
:dependencies { implementation("io.github.rascmatt.z3:io.github.rascmatt.z3.gradle.plugin:1.0.0") }
It can then be applied in the precompiled script plugin:plugins { id("io.github.rascmatt.z3") }
-
The legacy method of plugin application.
See the relevant documentation for more information.buildscript { repositories { gradlePluginPortal() } dependencies { classpath("io.github.rascmatt.z3:io.github.rascmatt.z3.gradle.plugin:1.0.0") } } apply(plugin = "io.github.rascmatt.z3")
- Applying plugins to all subprojects .