|
From: | Andrew Makhorin |
Subject: | Re: [Help-glpk] binary boolean |
Date: | Fri, 04 May 2012 08:13:10 +0400 |
> Since the conversion from mathematical formulation to constraints is > systematic , could this be added to marhprog? No, it is not. There exist infinitely many mip descriptions of the same integer set. Even z = x OR y can be formulated in infinitely many ways.
[Prev in Thread] | Current Thread | [Next in Thread] |