License |
License |
---|---|
Categories |
CategoriesCLI User Interface KeY Data Data Formats Formal Verification |
GroupId | GroupIdcom.launchkey.sdk |
ArtifactId | ArtifactIdlaunchkey-examples-cli |
Version | Version2.1.0 |
Type | Typejar |
Description |
DescriptionLaunchKey CLI Example Application
Example application for using the Platform SDK in a CLI application
|
Project Organization |
Project OrganizationLaunchKey |
<!-- https://jarcasting.com/artifacts/com.launchkey.sdk/launchkey-examples-cli/ -->
<dependency>
<groupId>com.launchkey.sdk</groupId>
<artifactId>launchkey-examples-cli</artifactId>
<version>2.1.0</version>
</dependency>
// https://jarcasting.com/artifacts/com.launchkey.sdk/launchkey-examples-cli/
implementation 'com.launchkey.sdk:launchkey-examples-cli:2.1.0'
// https://jarcasting.com/artifacts/com.launchkey.sdk/launchkey-examples-cli/
implementation ("com.launchkey.sdk:launchkey-examples-cli:2.1.0")
'com.launchkey.sdk:launchkey-examples-cli:jar:2.1.0'
<dependency org="com.launchkey.sdk" name="launchkey-examples-cli" rev="2.1.0">
<artifact name="launchkey-examples-cli" type="jar" />
</dependency>
@Grapes(
@Grab(group='com.launchkey.sdk', module='launchkey-examples-cli', version='2.1.0')
)
libraryDependencies += "com.launchkey.sdk" % "launchkey-examples-cli" % "2.1.0"
[com.launchkey.sdk/launchkey-examples-cli "2.1.0"]
Group / Artifact | Type | Version |
---|---|---|
com.launchkey.sdk : launchkey-sdk | jar | 2.1.0 |
com.martiansoftware : jsap | jar | 2.1 |
Group / Artifact | Type | Version |
---|---|---|
bouncycastle : bcprov-jdk16 | jar | [0.0,) |