<dependency> <groupId>io.ksmt</groupId> <artifactId>ksmt-bitwuzla</artifactId> <version>0.5.23</version> </dependency>
implementation 'io.ksmt:ksmt-bitwuzla:0.5.23'
implementation("io.ksmt:ksmt-bitwuzla:0.5.23")
libraryDependencies += "io.ksmt" % "ksmt-bitwuzla" % "0.5.23"
@Grapes( @Grab(group='io.ksmt', module='ksmt-bitwuzla', version='0.5.23') )
<dependency org="io.ksmt" name="ksmt-bitwuzla" rev="0.5.23" />
[io.ksmt/ksmt-bitwuzla "0.5.23"]
'io.ksmt:ksmt-bitwuzla:jar:0.5.23'
compile
|-- io.ksmt:ksmt-bitwuzla-native-linux-x64:0.5.23
|-- io.ksmt:ksmt-bitwuzla-native-mac-arm:0.5.23
|-- io.ksmt:ksmt-bitwuzla-native-windows-x64:0.5.23
|-- io.ksmt:ksmt-bitwuzla-core:0.5.23