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-cvc5-native-linux-x64 Show documentation
Show all versions of ksmt-cvc5-native-linux-x64 Show documentation
Kotlin API for various SMT solvers
Manifest-Version: 1.0