Re: [eclipse-clp-users] How to extend lib(ic) to get stronger propagation?

2009/11/17 Ulrich Scholz <Ulrich.Scholz_at_...10...>:

> I don't know how to add an extension to lib(ic) with CHRs, e.g., how to
> trigger a CHR in case two ic constraints are posted.
>
Wouldn't such simple CHR rule:

 A #=< B, B #=< A => A #= B

work?

Best regards,
-- 
[ Wit Jakuczun  http://www.linkedin.com/in/jakuczunwit  ]