[gecode-users] Pickling spaces and the extensional constraint in gecode-trunk

[Guido Tack]

Hi.

M Dobrogost wrote:

> Especially with the recent release of a paper on the topic of  
> pickling within Alice I thought it might be a good idea to ask if  
> there is already a system implemented for pickling Gecode Spaces.  
> So, is there? =)

There will be, we're currently working on it, and it's close to being  
checked in to the trunk.

> Also, the extensional constraint (catalog, compatibility)  
> constraint has been "temporarily disabled" in the gecode-trunk  
> since revision 4515. Could someone provide information as to why it  
> was disabled?

The trunk is our cutting-edge working version, and sometimes things  
are disabled because they just don't work or make other parts of the  
system crash (I don't know the particular reason for extensional  
being disabled, though).

Cheers,
	Guido

-- 
Guido Tack
Programming Systems Lab, Saarland University, Germany
http://www.ps.uni-sb.de/~tack