Re: [eclipse-clp-users] IC and gcd

From: Bogdan Tanasa <g-bogta_at_ida.liu.se>
Date: Mon, 19 Dec 2011 18:58:44 +0100
Hi,

Thanks! It works.
What about the optimal way to use gcd and ic ?:D

Thanks!
Bogdan.

-----Original Message-----
From: Sergey Dymchenko [mailto:kit1980_at_gmail.com] 
Sent: 19 decembrie 2011 18:46
To: Bogdan Tanasa
Cc: eclipse-clp-users_at_lists.sourceforge.net
Subject: Re: [eclipse-clp-users] IC and gcd

Hi!

There are several ways to make gcd work as a constraint.

Maybe the simplest way (not sure about optimality and good style) is
just to use "propia" library - just add to your program:
:- lib(propia).

Sergey.

On Mon, Dec 19, 2011 at 2:33 PM, Bogdan Tanasa <g-bogta_at_ida.liu.se> wrote:
> Hi,
>
>
>
> Is there any way to have something like this in CLP:
>
>
>
> [X, Y] #:: [0 .. N], gcd(X, Y, Z)
>
>
>
> I tried using both ic and fd and it failed.
>
> Do you have any suggestions?
>
>
>
> Bogdan.
>
>
>
----------------------------------------------------------------------------
--
> Learn Windows Azure Live!  Tuesday, Dec 13, 2011
> Microsoft is holding a special Learn Windows Azure training event for
> developers. It will provide a great way to learn Windows Azure and what it
> provides. You can attend the event by watching it streamed LIVE online.
> Learn more at http://p.sf.net/sfu/ms-windowsazure
> _______________________________________________
> ECLiPSe-CLP-Users mailing list
> ECLiPSe-CLP-Users_at_lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users
>
Received on Mon Dec 19 2011 - 17:58:58 CET

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET