[Couenne-tickets] [Couenne] #29: segmentation fault in CouenneConstraint::standardize

[Couenne]

#29: segmentation fault in CouenneConstraint::standardize
----------------------+----------------------
  Reporter:  stefan   |      Owner:  pbelotti
      Type:  defect   |     Status:  new
  Priority:  major    |  Milestone:
 Component:  Couenne  |    Version:
Resolution:           |   Keywords:
----------------------+----------------------

Comment (by stefan):

 I get the same for
 {{{
 objectives:
 min
 constraints:
 ((-((x_0^-1)/-1))+x_1) = 0
 variables:
 x_0 [ 100 , 100 ] integer
 x_1 [ -1e+50 , 1e+50 ]
 end
 }}}
 The awkward division by -1 seems to be the issue. When I have the
 constraint as
 {{{
 ((1*(1/x_0))+x_30) = 0
 }}}
 it works fine.

--
Ticket URL: <https://projects.coin-or.org/Couenne/ticket/29#comment:1>
Couenne <https://projects.coin-or.org/Couenne>
Couenne, a solver for non-convex MINLP