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 - 13:36:21 CEST
This archive was generated by hypermail 2.3.0 : Tue Apr 16 2024 - 09:13:20 CEST