Opened 12 years ago

Last modified 4 years ago

#10879 needs_work enhancement

add optional SCIP integer constraint solver — at Version 2

Reported by: Martin Albrecht Owned by: tbd
Priority: major Milestone: sage-duplicate/invalid/wontfix
Component: packages: optional Keywords: lp, mip, mixed integer programming
Cc: Harald Schilly, Jason Grout, Dima Pasechnik, Vincent Delecroix, Frédéric Chapoton, Jeroen Demeyer, Samuel Lelièvre Merged in:
Authors: Martin Albrecht Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by Martin Albrecht)

"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." --

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:


  • Sage crashes when SCIP variables are printed with SIGSEGV on OSX. It works fine under Linux.
  • the following doctests fail
     sage -t  -long -force_lib devel/sage/doc/en/thematic_tutorials/linear_programming.rst # 9 doctests failed
     sage -t  -long -force_lib devel/sage/sage/graphs/ # 1 doctests failed
     sage -t  -long -force_lib devel/sage/sage/graphs/ # 3 doctests failed
     sage -t  -long -force_lib devel/sage/sage/graphs/ # 2 doctests failed
     sage -t  -long -force_lib devel/sage/sage/numerical/ # 4 doctests failed
     sage -t  -long -force_lib devel/sage/sage/numerical/mip.pyx # 11 doctests failed
     sage -t  -long -force_lib devel/sage/sage/graphs/ # 18 doctests failed

Change History (2)

comment:1 Changed 12 years ago by Martin Albrecht

Cc: Nathann Cohen added
Description: modified (diff)

comment:2 Changed 12 years ago by Martin Albrecht

Cc: ncohenm Harald Schilly added; Nathann Cohen removed
Description: modified (diff)
Note: See TracTickets for help on using tickets.