Hi, I'm looking around at different Java CSP packages to find one in
which I can work on a problem I have. Gecode/J looks nice, but
documentation is thin. Can you please answer a few of my questions?
1) You include finite domain set variables, which I need. What
operations are available on them?
2) Can you reify constraints as boolean variables?
3) Do you have any means to label constraints with meaningful tags
for debugging?
4) Can I implement new constraints in Java? If so, how?
and I guess the most important question:
5) Is this project actively used and supported?
Malcolm
--
"Cleanliness is not next to godliness nowadays,
for cleanliness is made an essential
and godliness is regarded as an offence.
- G.K.Chesterton, On Lying in Bed
_______________________________________________
Gecode users mailing list
[EMAIL PROTECTED]
https://www.gecode.org/mailman/listinfo/gecode-users
