Search Gradle plugins

io.github.rascmatt.z3

Gradle plugin which provides platform dependent Z3 dependencies at build time

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