[eclipse-clp-users] ic constraints and mod

From: Dario Campagna <dario.campagna_at_...184...>
Date: Fri, 14 Aug 2009 16:47:41 +0200
Hi,

	I have a question concerning the arithmetic operator mod and ic  
constraints.

In SICStus Prolog, with the clpfd solver, it is possible to write the  
goal Y in 1..10, X #= Y mod 3, which returns Y in 1..10, X in 0..2.
I would like to write the same goal and, in particular, constraint of  
the form A #= B mod n (where n is an integer value) in ECLiPse, but  
the set of arithmetic expression that can be used inside ic  
constraints does not include an arithmetic expression equivalent to E1  
mod E2.
How can I solve this problem?


Thanks.
Dario
Received on Fri Aug 14 2009 - 14:47:56 CEST

This archive was generated by hypermail 2.3.0 : Thu Feb 22 2024 - 18:13:20 CET