k

ksmt-runner

Kotlin API for various SMT solvers
https://www.ksmt.io/
The Apache License, Version 2.0
Valentyn Sobol Alexey Menshutin
various kotlin solvers
文件下载
文件名 操作
ksmt-runner-0.5.7.jar 下载
ksmt-runner-0.5.7.pom 下载
ksmt-runner-0.5.7-sources.jar 下载
Apache Maven 
<dependency>
  <groupId>io.ksmt</groupId>
  <artifactId>ksmt-runner</artifactId>
  <version>0.5.7</version>
</dependency>
Gradle Groovy 
implementation 'io.ksmt:ksmt-runner:0.5.7'
Gradle Kotlin 
implementation("io.ksmt:ksmt-runner:0.5.7")
Scala SBT 
libraryDependencies += "io.ksmt" % "ksmt-runner" % "0.5.7"
Groovy Grape 
@Grapes(
  @Grab(group='io.ksmt', module='ksmt-runner', version='0.5.7')
)
Apache Ivy 
<dependency org="io.ksmt" name="ksmt-runner" rev="0.5.7" />
Leiningen 
[io.ksmt/ksmt-runner "0.5.7"]
Apache Buildr 
'io.ksmt:ksmt-runner:jar:0.5.7'
本项目依赖

compile

|-- com.jetbrains.rd:rd-core:2022.3.2

|-- com.jetbrains.rd:rd-framework:2022.3.2

|-- org.jetbrains.kotlin:kotlin-stdlib-jdk8:1.7.20

runtime

|-- it.unimi.dsi:fastutil-core:8.5.11

|-- org.jetbrains.kotlinx:kotlinx-collections-immutable-jvm:0.3.5

|-- io.ksmt:ksmt-core:0.5.7

|-- org.jetbrains.kotlinx:kotlinx-coroutines-core-jvm:1.6.4