<dependency>
<groupId>io.ksmt</groupId>
<artifactId>ksmt-bitwuzla-native-mac-arm</artifactId>
<version>0.5.23</version>
</dependency>
@Grapes(
@Grab(group='io.ksmt', module='ksmt-bitwuzla-native-mac-arm', version='0.5.23')
)