Re: [eclipse-clp-users] Propagators with a state

Wit Jakuczun wrote:

> Where could I find a road map for developing ECLiPSe? You and Joachim
> have mentioned about features that should be available in 6.1 version.
> What other features could we expect?

I don't think we have any formal road map for developing ECLiPSe -- I 
don't think we have a grand plan for what will appear in the next
version of ECLiPSe. In addition, we hope to see user contributions,
as we have quite limited human resources. The global constraints,
for example, is larger a contributed effort (from Helmut Simonis).

> 
>> These constraints are based on working on a flow graph.
> What constraints are you talking about? There is quite a lot
> of constraints that are based on flow graph.
> 

I have not seen the final version of all the constraints, but there is 
about 7 or 8 new constraints, in addition to the generalised arc 
consistent version of alldifferent that is already in ECLiPSe 6.0
(in the newly added lib(ic_global_gac)). The new constraints include
gcc (global cardinality constraint), the matrix versions of gcc and 
alldifferent, same, sequence (I think this may also be called 
among_seq), inverse. These all acheive gac propagation.

In addition, I plan to look at and hopefully implement bound consistent 
plus versions of alldifferent and gcc, with some low-level C support.

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.