pub const SCIP_Status_SCIP_STATUS_USERINTERRUPT: SCIP_Status = 10;Expand description
< the user interrupted the solving process (SIGINT or SCIPinterruptSolve())
pub const SCIP_Status_SCIP_STATUS_USERINTERRUPT: SCIP_Status = 10;< the user interrupted the solving process (SIGINT or SCIPinterruptSolve())