ksmt-core/io.ksmt.solver/KSolver/assert

assert

@JvmName(name = "assertExpr")

abstract fun assert(expr: KExpr<KBoolSort>)

Assert an expression into solver.

See also

@JvmName(name = "assertExprs")

open fun assert(exprs: List<KExpr<KBoolSort>>)

Assert multiple expressions into solver.

See also