lkengine-db

独立的存储引擎jar

License	GNU General Public License
Categories	KeY Data Data Formats Formal Verification
GroupId	cn.linkey
ArtifactId	lkengine-db
Last Version	1.1.1
Release Date	Feb 24, 2021
Type	jar
Description	lkengine-db 独立的存储引擎jar
Project URL	https://gitee.com/openEA/lkengine-db

Download lkengine-db

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

How to add to project

Apache Maven

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

Gradle Groovy

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

Gradle Kotlin

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

Apache Buildr

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

Apache Ivy

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

Groovy Grape

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

Scala SBT

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

Leiningen

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

Dependencies

compile (4)

Group / Artifact	Type	Version
org.slf4j : slf4j-log4j12	jar	1.7.30
dom4j : dom4j	jar	1.6.1
com.alibaba : fastjson	jar	1.2.62
org.apache.commons : commons-lang3	jar	3.4

test (1)

Group / Artifact	Type	Version
mysql : mysql-connector-java	jar	5.1.47

Project Modules

There are no modules declared in this project.

Versions

Version
1.1.1 Feb 24, 2021
1.0 Jan 5, 2021