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

From: Kish Shen <kisshen_at_...5...>
Date: Tue, 31 May 2011 20:54:28 +0100
Hi,

While there is no `built-in' mod constraint in lib(ic), you can define 
your own version and use it in an ic constraint expression. In fact,
Hakan Kjellerstrand has written such a mod constraint in his blog:

http://www.hakank.org/eclipse/modulo_propagator.ecl

Cheers,

Kish

On 30/05/2011 12:17, Sergey Dymchenko wrote:
> Hi!
>
> There is mod built-in in ECLiPSe, but according to
> http://eclipseclp.org/doc/bips/lib/ic/index.html 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?
>
> ------------------------------------------------------------------------------
> vRanger cuts backup time in half-while increasing security.
> With the market-leading solution for virtual backup and recovery,
> you get blazing-fast, flexible, and affordable data protection.
> Download your free trial now.
> http://p.sf.net/sfu/quest-d2dcopy1
> _______________________________________________
> ECLiPSe-CLP-Users mailing list
> ECLiPSe-CLP-Users_at_lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users


-- 
This e-mail may contain confidential and privileged material for the
sole use of the intended recipient. Any review, use, distribution or
disclosure by others is strictly prohibited. If you are not the intended
recipient (or authorized to receive for the recipient), please contact
the sender by reply e-mail and delete all copies of this message.
Cisco Systems Limited (Company Number: 02558939), is registered in
England and Wales with its registered office at 1 Callaghan Square,
Cardiff, South Glamorgan CF10 5BT.
Received on Tue May 31 2011 - 19:54:37 CEST

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