[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Help-glpk] Condition for glpsol
From: |
Michael Hennebry |
Subject: |
Re: [Help-glpk] Condition for glpsol |
Date: |
Tue, 29 May 2012 14:11:26 -0500 (CDT) |
User-agent: |
Alpine 1.00 (DEB 882 2007-12-20) |
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 address@hidden
"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