ksmt-core
0.5.23
ksmt-core
/
io.ksmt.solver
/
KSolver
/
push
push
abstract
fun
push
(
)
Create a backtracking point for assertion stack.
See also
KSolver.
pop