MVN

io.ksmt : ksmt-bitwuzla-native-windows-x64

Maven & Gradle

Jan 20, 1970
27 stars

io.ksmt · Kotlin API for various SMT solvers

<dependency>
    <groupId>io.ksmt</groupId>
    <artifactId>ksmt-bitwuzla-native-windows-x64</artifactId>
    <version>0.5.8-draft</version>
</dependency>
Copy
pom.xml
Table Of Contents

Latest Version

Choose a version of io.ksmt : ksmt-bitwuzla-native-windows-x64 to add to Maven or Gradle - Latest Versions:

  • Latest Stable: 0.5.8-draft

All Versions

Choose a version of io.ksmt : ksmt-bitwuzla-native-windows-x64 to add to Maven or Gradle - All Versions:

Version Vulnerabilities Updated
0.5.x
ksmt-bitwuzla-native-windows-x64-0.5.8-draft

How to add a dependency to Maven

Add the following io.ksmt : ksmt-bitwuzla-native-windows-x64 maven dependency to the pom.xml file with your favorite IDE (IntelliJ / Eclipse / Netbeans):

<dependency>
    <groupId>io.ksmt</groupId>
    <artifactId>ksmt-bitwuzla-native-windows-x64</artifactId>
    <version>0.5.8-draft</version>
</dependency>

How to add a dependency to Gradle

Gradle Groovy DSL: Add the following io.ksmt : ksmt-bitwuzla-native-windows-x64 gradle dependency to your build.gradle file:

implementation 'io.ksmt:ksmt-bitwuzla-native-windows-x64:0.5.8-draft'

Gradle Kotlin DSL: Add the following io.ksmt : ksmt-bitwuzla-native-windows-x64 gradle kotlin dependency to your build.gradle.kts file:

implementation("io.ksmt:ksmt-bitwuzla-native-windows-x64:0.5.8-draft")

How to add a dependency to SBT Scala

SBT Scala: Add the following io.ksmt : ksmt-bitwuzla-native-windows-x64 sbt scala dependency to your build.sbt file:

libraryDependencies += "io.ksmt" % "ksmt-bitwuzla-native-windows-x64" % "0.5.8-draft"

Advertisement

Dependencies from Group

Aug 14, 2023
27 stars
Aug 14, 2023
27 stars
Aug 14, 2023
27 stars
Aug 14, 2023
27 stars
Aug 14, 2023
27 stars

Discover Dependencies

Jan 20, 1970
27 stars
Jan 20, 1970
27 stars
Jan 20, 1970
27 stars
Jan 20, 1970
27 stars
Jan 20, 1970
27 stars
Jan 20, 1970
27 stars
Jan 20, 1970
27 stars
Jan 20, 1970
27 stars
Jan 20, 1970
27 stars
Jan 20, 1970
27 stars