ksmt-core/io.ksmt.solver/KModel/eval

eval

abstract fun <T : KSort> eval(expr: KExpr<T>, isComplete: Boolean = false): KExpr<T>