Christian Schulte, www.ict.kth.se/~cschulte/
-Original Message-
From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf
Of David Rijsman
Sent: Tuesday, May 06, 2008 9:28 AM
To: [EMAIL PROTECTED]
Subject: [gecode-users] Disjunction in a Propagator::propagate
I am writing a propagator and
I am writing a propagator and I want to create a disjunction in the
propagate method. Specifically I have a boolean A and B and want to
post the following:
A = 0 \/ B = 0
I know we have the binary boolean disjunction propagator for true (A=1
\/ B=1), now I am lost how to post the propagator for b
