[Choco-users] Absolute values in a constraint

[Carlos T. <car...@un...>]

Hi.
I'm new to choco. I'm doing some tests and examples with the library, 
and I've found a problem. I've searched in the list and in the forum, 
but with no results.
I would like to add to my problem a constraint of the type |x1-x2|=1
I've seen the abs method (it is not in the javadoc), but I don't 
understand how it works, because it receives two arguments, and I don't 
know their funcionality. Moreover, I've tryed to make a call like 
problem.abs(y1,problem.minus(x1,x2)) expecting that it will create a 
variable (y1) representing the absolute value of the difference of x1 
and x2, but that method does not allow an IntExp object as argument.
Any help?

Thanks

-- 
Carlos Testera
University of Leon
Leon
Spain
E-mail:
  car...@un...
Phone: 
  +34 987291000 
  ext 5432