Is there a simple standard way to constraint the value of a BoolVar
to a constant?
bool_eq() does not have a constant argument version, and eq() doesn't
seem to
work.
Malcolm
--
"If there is one thing worse than the modern weakening of major morals
it is the modern strengthening of minor morals.
Thus it is considered more withering to accuse a man
of bad taste than of bad ethics." -- G.K.Chesterton, On Lying
in Bed
_______________________________________________
Gecode users mailing list
[EMAIL PROTECTED]
https://www.gecode.org/mailman/listinfo/gecode-users
