[gecode-users] FD.disjoint

Christian Schulte schulte at imit.kth.se
Wed Oct 26 14:20:28 CEST 2005


No, this one does not exist. For the time being you can just use
reification. If you need it badly (that is, you need the stronger
propagation) I can just add it (no big deal).

Christian

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

-----Original Message-----
From: gecode-users-bounces at gecode.org
[mailto:gecode-users-bounces at gecode.org] On Behalf Of Javier Mena
Sent: Wednesday, October 26, 2005 3:03 AM
To: gecode at gecode.org
Subject: [gecode-users] FD.disjoint


Hi, does there exists a constraint (not using cumulative o serialization)
for
t1 + d1 =< t2    OR   t2 + d2 =< t1

Like FD.disjoint in Mozart?

Thanks

--
Javier Andrés Mena Zapata
University of  Valle
Cali - Colombia

_______________________________________________
Gecode users mailing list
users at gecode.org https://www.gecode.org/mailman/listinfo/gecode-users


_______________________________________________
Gecode users mailing list
users at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users



More information about the gecode-users mailing list