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

model

abstract fun model(): KModel

Retrieve the model for the last check or checkWithAssumptions.