<dependency> <groupId>io.ksmt</groupId> <artifactId>ksmt-runner</artifactId> <version>0.5.23</version> </dependency>
implementation 'io.ksmt:ksmt-runner:0.5.23'
implementation("io.ksmt:ksmt-runner:0.5.23")
libraryDependencies += "io.ksmt" % "ksmt-runner" % "0.5.23"
@Grapes( @Grab(group='io.ksmt', module='ksmt-runner', version='0.5.23') )
<dependency org="io.ksmt" name="ksmt-runner" rev="0.5.23" />
[io.ksmt/ksmt-runner "0.5.23"]
'io.ksmt:ksmt-runner:jar:0.5.23'
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.23
|-- org.jetbrains.kotlinx:kotlinx-coroutines-core-jvm:1.6.4