[Couenne-tickets] [Couenne] #40: Error Using Couenne Through Julia

[Couenne]

#40: Error Using Couenne Through Julia
--------------------------+----------------------
 Reporter:  muriloasouza  |      Owner:  pbelotti
     Type:  defect        |     Status:  new
 Priority:  major         |  Milestone:
Component:  Couenne       |    Version:
 Keywords:                |
--------------------------+----------------------
 Hello, i'm having a problem when i try to solve a MINLP in Atom (Julia
 Programing Language).

 This is the problem i'm trying to solve:

 min   100*(x5 - (0.5 + x4)^2^)^2^ + (1 - x4)^2

 s.t.  x4*x3 + x5*x1 <= 20

        5*x1 - 2*x5 + 3*x3 <= 17

        x4, x5 binary

        0 <= x1 <= 3

        0 <= x2 <= 5

        0 <= x3 <= 10


 When i run my code in Atom, using Couenne as solver, I get the following
 solution:

 objective function value = 0.24937733210128057

 x1 = 1

 x2 = 2.5

 x3 = 2

 x4 = 0.50124

 x5 = 1

 So, x4 in the solution is not binary. Is this a bug in Couenne?

 Thanks in advance!

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