From: Dario Campagna <dario.campagna_at_...184...>

Date: Fri, 14 Aug 2009 16:47:41 +0200

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. DarioReceived on Fri Aug 14 2009 - 14:47:56 CEST

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