IDVKey SDK 0.90

IDVKey Software Development Kit

License	The Apache Software License, Version 2.0
Categories	KeY Data Data Formats Formal Verification
GroupId	com.kloudtek.idvkey.sdk
ArtifactId	idvkey-sdk
Version	0.90
Type	pom
Description	IDVKey SDK IDVKey Software Development Kit
Project URL	https://github.com/Kloudtek/idvkey-sdk
Project Organization	Kloudtek

Download idvkey-sdk 0.90

Filename	Size
idvkey-sdk-0.90.pom	5 KB

Apache Maven

<!-- https://jarcasting.com/artifacts/com.kloudtek.idvkey.sdk/idvkey-sdk/ -->
<dependency>
    <groupId>com.kloudtek.idvkey.sdk</groupId>
    <artifactId>idvkey-sdk</artifactId>
    <version>0.90</version>
    <type>pom</type>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/com.kloudtek.idvkey.sdk/idvkey-sdk/
implementation 'com.kloudtek.idvkey.sdk:idvkey-sdk:0.90'

Gradle Kotlin

// https://jarcasting.com/artifacts/com.kloudtek.idvkey.sdk/idvkey-sdk/
implementation ("com.kloudtek.idvkey.sdk:idvkey-sdk:0.90")

Apache Buildr

'com.kloudtek.idvkey.sdk:idvkey-sdk:pom:0.90'

Apache Ivy

<dependency org="com.kloudtek.idvkey.sdk" name="idvkey-sdk" rev="0.90">
  <artifact name="idvkey-sdk" type="pom" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='com.kloudtek.idvkey.sdk', module='idvkey-sdk', version='0.90')
)

Scala SBT

libraryDependencies += "com.kloudtek.idvkey.sdk" % "idvkey-sdk" % "0.90"

Leiningen

[com.kloudtek.idvkey.sdk/idvkey-sdk "0.90"]

Dependencies

There are no dependencies for this project. It is a standalone project that does not depend on any other jars.

Project Modules

• java
• simulator
• api
• examples/jsf