Re: [eclipse-clp-users] mod operation in constraints

Hi Sergey,

On Monday 30 May 2011 11:17:59 Sergey Dymchenko wrote:
> And I don't see a way to construct mod with arithmetic expression that
> can be used inside the constraints.
> Any suggestions?

How about
  A#=B*X+C,
  0#=<C,
  C#<B,
  X#>=0
instead of
  A mod B #= C
?

Regards,
Stephan