ZIB

SCIP is currently one of the fastest solvers for mixed integer programming (MIP) and mixed integer nonlinear programming (MINLP). It allows for total control of the solution process and the access of detailed information down to the guts of the solver. Note: SCIP may introduce auxiliary variables during the solving process, e.g., the variable `quadobjvar` (see https://scipopt.org/doc/html/reader__lp_8c_source.php in line 1336). These variables will be stored in the solution metadata under the key `auxiliary_variables`."