#10879: add optional SCIP integer constraint solver
-------------------------------------+-------------------------------------
       Reporter:  malb               |        Owner:  tbd
           Type:  enhancement        |       Status:  needs_work
       Priority:  major              |    Milestone:  sage-6.4
      Component:  packages:          |   Resolution:
  optional                           |    Merged in:
       Keywords:  mip, mixed         |    Reviewers:
  integer programming                |  Work issues:
        Authors:  Martin Albrecht    |       Commit:
Report Upstream:  N/A                |  983d9ea066437c92f50efd72b6076e9cff719118
         Branch:                     |     Stopgaps:
  u/mkoeppe/ticket/10879             |
   Dependencies:                     |
-------------------------------------+-------------------------------------

Comment (by ncohen):

 > Nathann, I won't have time to work on it at the moment. Everything I did
 is on the ticket already. So if you and Dima want to work on it, go ahead.

 I would like to see if I can "cheaply" (i.e. by writing to a .lp file and
 calling scip as an external binary) count the number of integer points in
 a polyhedron (to compare results with #18812). Would you allow me to split
 the 'new-style package' code off this
 ticket and into another one?

 I can rebase this branch atop of it afterwards.

 > I didn't read the license as to whether we are allowed to redistribute
 the unmodified upstream tarball. Needs checking.

 http://listserv.zib.de/pipermail/scip/2015-June/002446.html

 Nathann

--
Ticket URL: <http://trac.sagemath.org/ticket/10879#comment:28>
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/d/optout.

Reply via email to