mvncenter: org.key-project:keyext.exploration:2.12.2

Proof exploration capabilities for key.ui

Files download

File	Operation
keyext.exploration-2.12.2.jar	download
keyext.exploration-2.12.2.pom	download
keyext.exploration-2.12.2-sources.jar	download

Apache Maven

<dependency>
  <groupId>org.key-project</groupId>
  <artifactId>keyext.exploration</artifactId>
  <version>2.12.2</version>
</dependency>

Gradle Groovy

implementation 'org.key-project:keyext.exploration:2.12.2'

Gradle Kotlin

implementation("org.key-project:keyext.exploration:2.12.2")

Scala SBT

libraryDependencies += "org.key-project" % "keyext.exploration" % "2.12.2"

Groovy Grape

@Grapes(
  @Grab(group='org.key-project', module='keyext.exploration', version='2.12.2')
)

Apache Ivy

<dependency org="org.key-project" name="keyext.exploration" rev="2.12.2" />

Leiningen

[org.key-project/keyext.exploration "2.12.2"]

Apache Buildr

'org.key-project:keyext.exploration:jar:2.12.2'

Dependencies

runtime