#21094: Sage package for SCIP integer programming solver
-------------------------------------+-------------------------------------
Reporter: mkoeppe | Owner:
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-7.3
Component: packages: | Resolution:
experimental |
Keywords: | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/mkoeppe/sage_package_for_scip_integer_programming_solver|
0b4219c7ea4570a411116b665883afc20d4e44d0
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Changes (by mkoeppe):
* status: new => needs_review
* cc: tscrim (added)
Old description:
> 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 #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`
>
> Follow-up: #21003: Add SCIP backend using PySCIPOpt
New description:
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 #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
--
Comment:
It finally builds on Mac OS X.
Needs testing / review.
--
Ticket URL: <https://trac.sagemath.org/ticket/21094#comment:4>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
