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

Go to download

Show more of this group Show more artifacts with this name
Show all versions of ksmt-yices-core Show documentation

Kotlin API for various SMT solvers

The newest version!

package io.ksmt.solver.yices

import io.ksmt.utils.library.NativeLibraryLoader

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