Re: [eclipse-clp-users] eplex vs ic

From: Bogdan Tanasa <g-bogta_at_...107...>
Date: Sun, 2 Oct 2011 01:49:26 +0200
I understand. Other reasons?

Sent from my iPhone

On 01.10.2011, at 15:36, Sergey Dymchenko <kit1980_at_...6...> wrote:

> Hello!
> 
> I think the difference is because eplex works for linear constraints
> only, and ic works for non-linear constraints too. So we have more
> effective for one task tool and more universal tool.
> 
> To highlight limitations of ic library, here is an example from the
> book "Constraint Logic Programming using Eclipse" by Krzysztof R. Apt,
> Mark Wallace:
> 
> incons(W, X, Y, Z) :-
>  W+X+Y+Z $>= 10,
>  W+X+Y $= 5,
>  Z $=< 4.
> 
> incons(W, X, Y, Z) should always fail, but ic library can't find
> inconsistency via constraint propagation, while eplex finds the
> inconsistency.
> 
> 
> Sergey.
> 
> On Sat, Oct 1, 2011 at 3:19 PM, Bogdan Tanasa <g-bogta_at_...107...> wrote:
>> Hi,
>> 
>> 
>> 
>> I have implemented a clp formulation for solving some linear constraints. I
>> am using eplex and also the ic library. There are huge differences in terms
>> of running time. I am sure this question was putted for some many times but
>> can one explain to me what are the reasons for this to happen?
>> 
>> 
>> 
>> Best regards,
>> 
>> Bogdan.
>> 
>> 
>> 
>> 
>> 
>> ------------------------------------------------------------------------------
>> All of the data generated in your IT infrastructure is seriously valuable.
>> Why? It contains a definitive record of application performance, security
>> threats, fraudulent activity, and more. Splunk takes this data and makes
>> sense of it. IT sense. And common sense.
>> http://p.sf.net/sfu/splunk-d2dcopy2
>> _______________________________________________
>> ECLiPSe-CLP-Users mailing list
>> ECLiPSe-CLP-Users_at_lists.sourceforge.net
>> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users
>> 
>> 
Received on Sat Oct 01 2011 - 23:52:59 CEST

This archive was generated by hypermail 2.3.0 : Wed Sep 25 2024 - 15:13:20 CEST