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

From: Sergey Dymchenko <kit1980_at_...6...>
Date: Sat, 1 Oct 2011 16:36:15 +0300
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@...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 - 13:36:21 CEST

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