Hi everyone, please excuse my newbieness again, I'm trying 2 questions at once to save time :)
1) is it possible to express a constraint so that an FD.intvar is bound to be one of two choices which are themselves FD.intvar's ? I believe this should be done with FD.gcc4 but I'm not sure if this is the right thing. 2) about gcc*: what is the meaning of all the paramaters in the various FD.gcc ? [s,x,min,max,level] are clear from the description, but [v,c,m,ulow,uup,all] are not so obvious, in my humble opinion. As usual, thanks in advance. _______________________________________________ alice-users mailing list [email protected] http://www.ps.uni-sb.de/mailman/listinfo/alice-users
