io.ksmt : ksmt-bitwuzla-native-mac-arm

<!-- https://mavenlibs.com/maven/dependency/io.ksmt/ksmt-bitwuzla-native-mac-arm --><dependency>
    <groupId>io.ksmt</groupId>
    <artifactId>ksmt-bitwuzla-native-mac-arm</artifactId>
    <version>0.5.8-draft</version>
</dependency>

// https://mavenlibs.com/maven/dependency/io.ksmt/ksmt-bitwuzla-native-mac-armimplementation group: 'io.ksmt', name: 'ksmt-bitwuzla-native-mac-arm', version: '0.5.8-draft'

// https://mavenlibs.com/maven/dependency/io.ksmt/ksmt-bitwuzla-native-mac-armimplementation 'io.ksmt:ksmt-bitwuzla-native-mac-arm:0.5.8-draft'

// https://mavenlibs.com/maven/dependency/io.ksmt/ksmt-bitwuzla-native-mac-armimplementation("io.ksmt:ksmt-bitwuzla-native-mac-arm:0.5.8-draft")

// https://mavenlibs.com/maven/dependency/io.ksmt/ksmt-bitwuzla-native-mac-armlibraryDependencies += "io.ksmt" % "ksmt-bitwuzla-native-mac-arm" % "0.5.8-draft"

<!-- https://mavenlibs.com/maven/dependency/io.ksmt/ksmt-bitwuzla-native-mac-arm --><dependency org="io.ksmt" name="ksmt-bitwuzla-native-mac-arm" rev="0.5.8-draft"/>

// https://mavenlibs.com/maven/dependency/io.ksmt/ksmt-bitwuzla-native-mac-arm@Grapes(
    @Grab(group='io.ksmt', module='ksmt-bitwuzla-native-mac-arm', version='0.5.8-draft')
)

;; https://mavenlibs.com/maven/dependency/io.ksmt/ksmt-bitwuzla-native-mac-arm[io.ksmt/ksmt-bitwuzla-native-mac-arm "0.5.8-draft"]

# https://mavenlibs.com/maven/dependency/io.ksmt/ksmt-bitwuzla-native-mac-arm'io.ksmt:ksmt-bitwuzla-native-mac-arm:jar:0.5.8-draft'