JKind 4.3.0
JKind 4.3.0 adds manifest metadata for use as a Maven-compliant dependency. It also moves the Eclipse-specific API elements that are better integrated as a portion of the JKind-plugin.
JKind 4.3.0 adds manifest metadata for use as a Maven-compliant dependency. It also moves the Eclipse-specific API elements that are better integrated as a portion of the JKind-plugin.