<dependency> <groupId>io.ksmt</groupId> <artifactId>ksmt-z3-native-mac-x64</artifactId> <version>0.5.20</version> </dependency>
implementation 'io.ksmt:ksmt-z3-native-mac-x64:0.5.20'
implementation("io.ksmt:ksmt-z3-native-mac-x64:0.5.20")
libraryDependencies += "io.ksmt" % "ksmt-z3-native-mac-x64" % "0.5.20"
@Grapes( @Grab(group='io.ksmt', module='ksmt-z3-native-mac-x64', version='0.5.20') )
<dependency org="io.ksmt" name="ksmt-z3-native-mac-x64" rev="0.5.20" />
[io.ksmt/ksmt-z3-native-mac-x64 "0.5.20"]
'io.ksmt:ksmt-z3-native-mac-x64:jar:0.5.20'