Search Gradle plugins

Gradle plugin which provides platform dependent Z3 dependencies at build time

• #z3
• #smt
• #solver
• #jni

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

• #dependency-management
• #versions
• #versioning