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 henne...@web.cs.ndsu.nodak.edu
"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
Help-glpk@gnu.org
https://lists.gnu.org/mailman/listinfo/help-glpk
