[PPL-devel] Put the constraint (x!=0) to a Int64_Box ?

[Zell]

Hi, all,

What are we supposed to do if Int64_Box does not support the not_equal
constraints?

Int64_Box.add_constrain(x!-=0) does not work for me. PPL gives me:
terminate called after throwing an instance of 'std::runtime_error'
  what():  PPL Java interface internal error

I think this error is expected. What would be the work-around then ?
(except putting x!=0 to ((x>=1) or (x<=-1)) )

Thanks.
Zell.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20120812/2a989039/attachment.htm>