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

interrupt

abstract fun interrupt()

Cancel currently performing check-sat.