#8404: Computing a H-minor
----------------------------+-----------------------------------------------
   Reporter:  ncohen        |       Owner:  rlm            
       Type:  enhancement   |      Status:  positive_review
   Priority:  major         |   Milestone:  sage-4.3.4     
  Component:  graph theory  |    Keywords:                 
     Author:                |    Upstream:  N/A            
   Reviewer:                |      Merged:                 
Work_issues:                |  
----------------------------+-----------------------------------------------

Comment(by ncohen):

 With the new (and free) cplex, it takes 120 seconds to prove there is no
 K5 in a 4x4 grid. Finding a K4 is instantaneous.

 Nathann

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8404#comment:27>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/sage-trac?hl=en.

Reply via email to