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