de.openkeyword:core 0.1.18

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

Download core 0.1.18

Filename	Size
core-0.1.18.pom
core-0.1.18.jar	142 KB
core-0.1.18-sources.jar	175 KB
core-0.1.18-javadoc.jar	473 KB

Apache Maven

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

Gradle Groovy

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

Gradle Kotlin

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

Apache Buildr

'de.openkeyword:core:jar:0.1.18'

Apache Ivy

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

Groovy Grape

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

Scala SBT

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

Leiningen

[de.openkeyword/core "0.1.18"]