jump-dev / ECOS.jl

A Julia interface to the ECOS conic optimization solver
https://github.com/embotech/ecos
Other
41 stars 17 forks source link

Add test for an infeasible problem #17

Closed IainNZ closed 9 years ago

IainNZ commented 9 years ago

Currently fails on ECOS 1.0.5.

It looks like in #16 that we can't upgrade, is that correct?

Not sure if its been fixed, I'm going to file an issue to see whats up.

IainNZ commented 9 years ago

https://github.com/embotech/ecos/issues/109

tkelman commented 9 years ago

It looks like in #16 that we can't upgrade, is that correct?

Not until the win64 version builds and passes its tests without segfaulting.

IainNZ commented 9 years ago

For recording's sake, here is the test in JuMP format:

using JuMP
 import ECOS

 m = Model(solver=ECOS.ECOSSolver(verbose=true))
 @defVar(m, x)
 @defVar(m, u <= 0)
 @defVar(m, v >= 0)
 @setObjective(m, Max, x)
 @addConstraint(m, x == 3)
 @addConstraint(m, 8u + 9v <= 25)
 @addConstraint(m, u + v - x == 0)
 solve(m)

 println(m)
IainNZ commented 9 years ago

Problem is confirmed to be in ECOS

tkelman commented 9 years ago

worth a rebase?

IainNZ commented 9 years ago

mmm looking at it now