Hi everybody, I am writing a program with a set of constraints that use the ic library and finally the search functions search(L,0,input_order,indomain_random,complete,[]). Sometimes, it may happen that at some point my program fails giving no solution. I would like to find which goal failed, to do some more in depth search, i.e. refining some constraints, by exploiting this information. Is there a method to get this information from inside the program, without using the tracer? I have found a question on the same problem in the mailing list, here http://eclipse.crosscoreop.com/archive/eclipse-users/0838.html but I have not found the replays. Any tips on the problem would be wellcome. Thank you very much CristinaReceived on Sat Dec 02 2006 - 16:34:26 CET
This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:57 CET