[Couenne] can COUENNE find a solution for the constraint satisfaction question?

[Stefan Vigerske]

Hi,

> If I want to solve a constraint satisfaction question, when I set objective function to a constraint, can COUENNE find a solution for the constraint satisfaction question? For example, objective function is min 0   s.t. x1*x2+x3>0 and x2+x1>=7. Can COUENNE find a solution (x1,x2, x3) that satisfy x1*x2+x3>0 and x2+x1>=7?

Yes, maybe.
It does not understand ">", but only ">=".
And you only get a solution that satisfies the constraints within some
tolerances.
It's numerics.

Stefan
> 
> 
>       
> 
> 
> _______________________________________________
> Couenne mailing list
> Couenne at list.coin-or.org
> http://list.coin-or.org/mailman/listinfo/couenne
> 


-- 
Stefan Vigerske
Humboldt University Berlin, Numerical Mathematics
http://www.math.hu-berlin.de/~stefan