ksmt-core/io.ksmt.solver

Package-level declarations

Types

interface KModel : AutoCloseable

interface KSolver<Config : KSolverConfiguration> : AutoCloseable

KSolverConfiguration

interface KSolverConfiguration

KSolverException

open class KSolverException : Exception

enum KSolverStatus : Enum<KSolverStatus>

KSolverUniversalConfigurationBuilder

interface KSolverUniversalConfigurationBuilder

KSolverUnsupportedFeatureException

class KSolverUnsupportedFeatureException(message: String) : KSolverException

KSolverUnsupportedParameterException

class KSolverUnsupportedParameterException(message: String) : KSolverException