It sometimes caused the solver to get into an seemingly unrecoverable state and crash. Therefore I will disable this feature for now.
It sometimes caused the solver to get into an seemingly unrecoverable state and crash. Therefore I will disable this feature for now.