de.openkeyword:core 0.0.27

This is the core-module of OpenKeyWord. This module is automatically integrated by the adapters. In GUI automation, the core module is automatically integrated by the GUI modules (dependencies).

Categories	KeY Data Data Formats Formal Verification
GroupId	de.openkeyword
ArtifactId	core
Version	0.0.27
Type	jar

Download core 0.0.27

Filename	Size
core-0.0.27.pom
core-0.0.27.jar	136 KB
core-0.0.27-sources.jar	166 KB
core-0.0.27-javadoc.jar	441 KB

Apache Maven

<!-- https://jarcasting.com/artifacts/de.openkeyword/core/ -->
<dependency>
    <groupId>de.openkeyword</groupId>
    <artifactId>core</artifactId>
    <version>0.0.27</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/de.openkeyword/core/
implementation 'de.openkeyword:core:0.0.27'

Gradle Kotlin

// https://jarcasting.com/artifacts/de.openkeyword/core/
implementation ("de.openkeyword:core:0.0.27")

Apache Buildr

'de.openkeyword:core:jar:0.0.27'

Apache Ivy

<dependency org="de.openkeyword" name="core" rev="0.0.27">
  <artifact name="core" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='de.openkeyword', module='core', version='0.0.27')
)

Scala SBT

libraryDependencies += "de.openkeyword" % "core" % "0.0.27"

Leiningen

[de.openkeyword/core "0.0.27"]