[eclipse-clp-users] alldifferent/1 from ic vs. ic_global

[Panagiotis S. <ta...@di...>]

Hello All,

Is there any possibility for the same program to be more efficient
when it uses ic:alldifferent/1 than its counterpart that exploits
ic_global:alldifferent/1? It seems quite strange to me and I wonder
if I am doing something wrong.

Regards,
Panagiotis