ksmt-core/io.ksmt.solver.model/KModelImpl/detach

detach

open override fun detach(): KModel

Detach model from the solver and release native resources.