stop

fun stop()

Force stops the solving process.