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.