META-INF.MANIFEST.MF Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of ksmt-yices-native-mac-arm Show documentation
Show all versions of ksmt-yices-native-mac-arm Show documentation
Kotlin API for various SMT solvers
Manifest-Version: 1.0