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

From: Sergey Dymchenko <kit1980_at_gmail.com>
Date: Mon, 19 Dec 2011 19:46:28 +0200
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:46:39 CET

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