Search Gradle plugins

Plugin	Latest Version
com.sri.gradle.daikon Dynamic detection of likely program invariants #daikon #invariant detector #dynamic detection of likely invariants	0.0.1-SNAPSHOT (18 November 2020)