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

From: Stephan Schiffel <stephan.schiffel_at_...1...>
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 : Mon Jul 09 2018 - 02:05:29 CEST