[Gecode] RE: Gecode request.

[Christian Schulte]

Hi Sathi,
 
in principle, it is absolutely possible for you to get the library, the only
thing we have to do before we can hand it out is attaching a license to it
(this will be a free license anyway).
 
However, we are currently in the process of making everything ready for a
first formal release (planned to be at the beginning of october). That means
that the design of the library is almost finished (a part from quirk
removal). The interface for users such as you will undergo some heavy
revision though. Another thing that is almost not there (a part from
examples) is reasonable documentation.
 
As said, of course you can get the library but for you it would be better if
you could wait a little bit (unless you are willing to endure some hardship
;-)).
 
Please allow me to also address your second question about constructive
disjunction: Gecode does not support constructive disjunction. In a second
development step, the goal will be to provide very powerful constraint
combination mechanisms (inspired by my PhD work). There, constructive
disjunction will be one part of it. 
 
You did you come across Gecode anyway? Would you be willing to be abused by
us as Guinea pig?
 
Cheers and thanks for your interest!
Christian
 
PS: Keep on checking www.gecode.org...

--
Christian Schulte, http://www.imit.kth.se/~schulte/ 

-----Original Message-----
From: Sathi [mailto:sathi at itu.dk] 
Sent: Saturday, July 17, 2004 5:09 PM
To: schulte at imit.kth.se
Subject: Gecode request.



Dear Christian Schulte,

 

My research group here at IT-University of Copenhagen is working on
Configuration Systems.

We would like to design a configurator based on Gecode and compare its
performance with a BDD based Configurator Library being developed in my
group.

 

Is it possible for me to get Gecode Library now?

We would like to have it as soon as possible

 

Thanks,

Sathi

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20040727/1a0315b8/attachment.htm>