Re: [eclipse-clp-users] Two problems with the ic-Solver

From: Kish Shen <kisshen_at_...5...>
Date: Fri, 12 Feb 2010 12:54:37 +0000
Joachim Schimpf wrote:
> 
> First, you should consider whether it is not better to use boolean (0/1)
> variables for the individual bits. 

There is now a constraint bool_channeling/3 in lib(ic_global) that 
allows you to connect (channel) a set of boolean variables with a finite 
domain variable, where each boolean represent a bit in the domain.

This is one of the new constraints that was recently contributed to 
ECLiPSe (gcc_matrix, discussed in another thread, is another example),
so they are at the prototype stage at the moment. You need to download 
the most recent version of ECLiPSe (6.0#122 or newer) in order to use it.

Cheers,

Kish
-- 
This e-mail may contain confidential and privileged material for the
sole use of the intended recipient. Any review, use, distribution or
disclosure by others is strictly prohibited. If you are not the intended
recipient (or authorized to receive for the recipient), please contact
the sender by reply e-mail and delete all copies of this message.
Cisco Systems Limited (Company Number: 02558939), is registered in
England and Wales with its registered office at 1 Callaghan Square,
Cardiff, South Glamorgan CF10 5BT.
Received on Fri Feb 12 2010 - 12:54:56 CET

This archive was generated by hypermail 2.3.0 : Thu Feb 22 2024 - 18:13:20 CET