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

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.