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

From: Panagiotis Stamatopoulos <takis_at_...90...>
Date: Thu, 6 Apr 2023 11:55:19 +0300
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
Received on Thu Apr 06 2023 - 08:55:34 CEST

This archive was generated by hypermail 2.3.0 : Wed Sep 25 2024 - 15:13:21 CEST