On Tue, 29 May 2012, esma mehiaoui wrote:
Is it possible to expresse the following condition ?
if A+B = C+D = 1 then R = 1
else R=0
R is boolean.
If the others are also boolean, then there are six minimal CNF clauses.
--
Michael [email protected]
"On Monday, I'm gonna have to tell my kindergarten class,
whom I teach not to run with scissors,
that my fiance ran me through with a broadsword." -- Lily
_______________________________________________
Help-glpk mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/help-glpk
