License |
License |
---|---|
Categories |
CategoriesCLI User Interface KeY Data Data Formats Formal Verification |
GroupId | GroupIdcom.launchkey.sdk |
ArtifactId | ArtifactIdexamples-cli |
Version | Version4.0.0 |
Type | Typejar |
Description |
DescriptionCLI Example Application
Example application for using the Platform SDK in a CLI application
|
Project Organization |
Project Organization |
Filename | Size |
---|---|
examples-cli-4.0.0.pom | |
examples-cli-4.0.0.jar | 10 KB |
examples-cli-4.0.0-sources.jar | 4 KB |
examples-cli-4.0.0-javadoc.jar | 23 KB |
examples-cli-4.0.0-jar-with-dependencies.jar | 3 MB |
Browse |
<!-- https://jarcasting.com/artifacts/com.launchkey.sdk/examples-cli/ -->
<dependency>
<groupId>com.launchkey.sdk</groupId>
<artifactId>examples-cli</artifactId>
<version>4.0.0</version>
</dependency>
// https://jarcasting.com/artifacts/com.launchkey.sdk/examples-cli/
implementation 'com.launchkey.sdk:examples-cli:4.0.0'
// https://jarcasting.com/artifacts/com.launchkey.sdk/examples-cli/
implementation ("com.launchkey.sdk:examples-cli:4.0.0")
'com.launchkey.sdk:examples-cli:jar:4.0.0'
<dependency org="com.launchkey.sdk" name="examples-cli" rev="4.0.0">
<artifact name="examples-cli" type="jar" />
</dependency>
@Grapes(
@Grab(group='com.launchkey.sdk', module='examples-cli', version='4.0.0')
)
libraryDependencies += "com.launchkey.sdk" % "examples-cli" % "4.0.0"
[com.launchkey.sdk/examples-cli "4.0.0"]
Group / Artifact | Type | Version |
---|---|---|
com.launchkey.sdk : launchkey-sdk | jar | 4.0.0 |
com.martiansoftware : jsap | jar | 2.1 |
Group / Artifact | Type | Version |
---|---|---|
bouncycastle : bcprov-jdk16 | jar | [0.0,) |