de.openkeyword:core 0.1.23

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.1.23
Type	jar

Download core 0.1.23

Filename	Size
core-0.1.23.pom
core-0.1.23.jar	145 KB
core-0.1.23-sources.jar	178 KB
core-0.1.23-javadoc.jar	480 KB

Apache Maven

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

Gradle Groovy

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

Gradle Kotlin

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

Apache Buildr

'de.openkeyword:core:jar:0.1.23'

Apache Ivy

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

Groovy Grape

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

Scala SBT

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

Leiningen

[de.openkeyword/core "0.1.23"]