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

From: Stephan Schiffel <stephan.schiffel_at_googlemail.com>
Date: Mon, 30 May 2011 11:57:42 +0000
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
Received on Mon May 30 2011 - 11:57:54 CEST

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET