"SCIP is currently one of the fastest non-commercial mixed integer programming (MIP) solvers. It is also a framework for Constraint Integer Programming and branch-cut-and-price. It allows total control of the solution process and the access of detailed information down to the guts of the solver." -- http://scip.zib.de/

Features interesting to Sage:

• SCIP is pretty fast for Mixed Integer Programming
• SCIP is a Constraint Integer Programming solver and allows non-linear constraints
• SCIP's source code is available
• SoPlex (the LP solver which is part of scipoptsuite) has an exact mode which is said to be working well
• A beta version of SCIP can do exact MIP: http://scip.zib.de/#exact using qsopt_ex (see also Add bindings, MixedIntegerLinearProgram backend to qsopt_ex, a state-of-the-art exact simplex solver #18766)

However, the SCIP license prevents us from redistributing the SCIP source code:
http://scip.zib.de/#license

To build a SCIP for Sage do:

• pull from this ticket
• download the SCIP Optimisation Suite from http://scip.zib.de/download.php?fname=scipoptsuite-3.2.1.tgz
• put tarfile scipoptsuite-3.2.1.tgz in $SAGE_ROOT/upstream/
• sage -f scipoptsuite

KNOWN ISSUES

• Sage crashes when SCIP variables are printed with SIGSEGV on OSX. It works fine under Linux.
• printing of quadratic constraints does not work yet.

Split out ticket with just the spkg: #21094.

Follow-up: #21003: Add SCIP backend using PySCIPOpt

CC: @haraldschilly @jasongrout @dimpase @videlec @fchapoton @jdemeyer @slel

Component: packages: optional

Author: Martin Albrecht

Branch/Commit: u/mkoeppe/ticket/10879 @ 1f514de

Issue created by migration from https://trac.sagemath.org/ticket/10879