> How to express |A-B|>=C for glpsol ? > > A,B and C are a boolean variables >
One way is to evaluate the truth table and then use CNF description. See http://lists.gnu.org/archive/html/help-glpk/2012-05/msg00013.html for more details. _______________________________________________ Help-glpk mailing list [email protected] https://lists.gnu.org/mailman/listinfo/help-glpk
