Hi, We have been using ECLiPSe in some of our research as the backend solver for models defined using Minizinc. We have come across an issue that maybe someone on the list could help clarify. We pass the flatzinc representation of our model to ECLiPSe where the objective function to be minimized or maximized contains a product expression with floats (specifically ones that are <1.0 and represent probabilities). The solution returned is the same no matter if we are maximizing or minimizing the objective function. If we change this expression to contain integers rather than floats (or floats > 1.0) we get the expected behavior from ECLiPSe (different answers based on either maximizing or minimizing the objective function). I would be happy to provide the models if requested. Best, Martin -- Martin Michalowski, Ph.D. Principal Research Scientist, Adventium Labs martin.michalowski_at_adventiumlabs.com http://www.adventiumlabs.com/?q=about/technicalstaff/michalowskiReceived on Wed Sep 12 2012 - 21:46:56 CEST
This archive was generated by hypermail 2.2.0 : Sun Sep 16 2012 - 06:14:57 CEST