Re: [eclipse-clp-users] Simple problem - strange effect

From: Wit Jakuczun <wit.jakuczun_at_gmail.com>
Date: Fri, 23 Apr 2010 05:54:54 +0200
W dniu 2010-04-22 19:28, Philipp Marcus pisze:
> Why is it not possible for IC to infer that the domain of X only 
> consists of the elements [1,2]? Instead I get the output:
Because IC is not using strong enough consistency checking for "or" 
constraints.  Quite typical situation and if needed one should write 
global constraint that would make better reasoning.

Best regards

-- 
[ Wit Jakuczun http://pl.linkedin.com/in/jakuczunwit ]
Received on Fri Apr 23 2010 - 03:55:06 CEST

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET