Split out from the larger ticket #10879. This ticket just adds an spkg, not the Cython interface.

"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

Upstream discussion: http://listserv.zib.de/pipermail/scip/2016-July/002853.html

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

Depends on #21151

CC: @malb @haraldschilly @jasongrout @dimpase @videlec @fchapoton @jdemeyer @slel @tscrim @embray @vbraun

Component: packages: experimental

Author: Martin Albrecht, Matthias Koeppe

Branch: 1c070e4

Reviewer: Travis Scrimshaw, Jeroen Demeyer

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