• Home
• io.ksmt
• ksmt-yices-core
• 0.5.13
• source code
• KYicesNativeLibraryLoader.kt

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

main.io.ksmt.solver.yices.KYicesNativeLibraryLoader.kt Maven / Gradle / Ivy

package io.ksmt.solver.yices

import io.ksmt.utils.library.NativeLibraryLoader

interface KYicesNativeLibraryLoader : NativeLibraryLoader {
    override val libraryDir: String get() = "yices"
}