main.io.ksmt.solver.cvc5.KCvc5NativeLibraryLoader.kt Maven / Gradle / Ivy

Go to download

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

Kotlin API for various SMT solvers

The newest version!

package io.ksmt.solver.cvc5

import io.ksmt.utils.library.NativeLibraryLoader

interface KCvc5NativeLibraryLoader : NativeLibraryLoader {
    override val libraryDir: String get() = "cvc5"
}