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

From: Marco Gavanelli <marco.gavanelli_at_...17...>
Date: Mon, 30 May 2011 13:51:43 +0200
On 30/05/11 13:17, Sergey Dymchenko wrote:
> Hi!
> There is mod built-in in ECLiPSe, but according to
> it's impossible to
> use it in constraints.
> And I don't see a way to construct mod with arithmetic expression that
> can be used inside the constraints.
> Any suggestions?

You could use the definition of modulus.
By definition of integer division, A mod B is the number X such that

	X + Y*B = A

and such that X is between 0 and B-1 (for some integer Y, usually called 


Marco Gavanelli, Ph.D. in Computer Science
Dept of Engineering
University of Ferrara
Tel/Fax  +39-0532-97-4833
Received on Mon May 30 2011 - 11:51:51 CEST

This archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:29 CEST