IDVKey Simulator

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-simulator
Last Version	0.90
Release Date	Mar 12, 2016
Type	jar
Description	IDVKey Simulator IDVKey Software Development Kit
Project Organization	Kloudtek

Download idvkey-sdk-simulator

Filename	Size
idvkey-sdk-simulator-0.90.pom
idvkey-sdk-simulator-0.90.jar	2 KB
idvkey-sdk-simulator-0.90-sources.jar	1 KB
idvkey-sdk-simulator-0.90-javadoc.jar	23 KB

How to add to project

Apache Maven

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

Gradle Groovy

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

Gradle Kotlin

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

Apache Buildr

'com.kloudtek.idvkey.sdk:idvkey-sdk-simulator:jar:0.90'

Apache Ivy

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

Groovy Grape

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

Scala SBT

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

Leiningen

[com.kloudtek.idvkey.sdk/idvkey-sdk-simulator "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

There are no modules declared in this project.

Versions

Version
0.90 Mar 12, 2016