#10879: add optional SCIP integer constraint solver
-------------------------------------+-------------------------------------
Reporter: malb | Owner: tbd
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-6.2
Component: packages: | Resolution:
standard | Merged in:
Keywords: mip, mixed | Reviewers:
integer programming | Work issues:
Authors: Martin Albrecht | Commit:
Report Upstream: N/A | 7772e92ddbc9531371e3bb53c57b1d6ae51417b1
Branch: | Stopgaps:
u/malb/scipoptsuite |
Dependencies: |
-------------------------------------+-------------------------------------
Changes (by malb):
* commit: => 7772e92ddbc9531371e3bb53c57b1d6ae51417b1
* branch: => u/malb/scipoptsuite
Old description:
> "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
>
> However, we don't have the right to redistribute the SCIP source code.
> Thus, the attached SPKG is empty except for the spkg-install script etc.
>
> To build a SCIP for Sage do:
> * download the SCIP Optmisation Suite from
> http://scip.zib.de/download.php?fname=scipoptsuite-3.0.1.tgz
> * place the files `scip-3.0.1.tgz` and `soplex-1.7.1.tgz` in the `src/`
> subdirectory of the attached SPKG
> * install the SPKG
> * apply the attached patch and `sage -b`
>
> '''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.
New description:
"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
However, we don't have the right to redistribute the SCIP source code.
To build a SCIP for Sage do:
* pull from this ticket
* download the SCIP Optmisation Suite from
http://scip.zib.de/download.php?fname=scipoptsuite-3.0.1.tgz
* place the files `scip-3.0.1.tgz` and `soplex-1.7.1.tgz` in
`$SAGE_ROOT/upstream/`
* `sage -sh`
* `cd $SAGE_ROOT/build/pkgs/scipoptsuite`
* `./sage-install && sage -b`
'''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.
--
--
Ticket URL: <http://trac.sagemath.org/ticket/10879#comment:15>
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 http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
