I understand. Other reasons? Sent from my iPhone On 01.10.2011, at 15:36, Sergey Dymchenko <kit1980_at_gmail.com> 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_ida.liu.se> 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.2.0 : Thu Feb 02 2012 - 02:31:58 CET