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

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ] [ by messages with attachments ]

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 message: [ Message body ]
Next message: Joachim Schimpf: "Re: [eclipse-clp-users] alldifferent/1 from ic vs. ic_global"
Previous message: Panagiotis Stamatopoulos: "Re: [eclipse-clp-users] On stating a strange constraint"
Next in thread: Joachim Schimpf: "Re: [eclipse-clp-users] alldifferent/1 from ic vs. ic_global"
Reply: Joachim Schimpf: "Re: [eclipse-clp-users] alldifferent/1 from ic vs. ic_global"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ] [ by messages with attachments ]

This archive was generated by hypermail 2.3.0 : Tue Apr 16 2024 - 09:13:20 CEST