cn.linkey:lkengine-db 1.0

独立的存储引擎jar

Categories	KeY Data Data Formats Formal Verification
GroupId	cn.linkey
ArtifactId	lkengine-db
Version	1.0
Type	jar

Download lkengine-db 1.0

Filename	Size
lkengine-db-1.0.pom
lkengine-db-1.0.jar	64 KB
lkengine-db-1.0-sources.jar	62 KB
lkengine-db-1.0-javadoc.jar	198 KB

Apache Maven

<!-- https://jarcasting.com/artifacts/cn.linkey/lkengine-db/ -->
<dependency>
    <groupId>cn.linkey</groupId>
    <artifactId>lkengine-db</artifactId>
    <version>1.0</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/cn.linkey/lkengine-db/
implementation 'cn.linkey:lkengine-db:1.0'

Gradle Kotlin

// https://jarcasting.com/artifacts/cn.linkey/lkengine-db/
implementation ("cn.linkey:lkengine-db:1.0")

Apache Buildr

'cn.linkey:lkengine-db:jar:1.0'

Apache Ivy

<dependency org="cn.linkey" name="lkengine-db" rev="1.0">
  <artifact name="lkengine-db" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='cn.linkey', module='lkengine-db', version='1.0')
)

Scala SBT

libraryDependencies += "cn.linkey" % "lkengine-db" % "1.0"

Leiningen

[cn.linkey/lkengine-db "1.0"]