12.07.2015 Views

ILOG OPL Development Studio Language Reference Manual

ILOG OPL Development Studio Language Reference Manual

ILOG OPL Development Studio Language Reference Manual

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

further that a good solution to the problem means that the quantity of at least two of the threeproducts must be greater than 20. Then you can represent that idea in your application, likethis:(x[0] >= 20) + (x[1] >= 20) + (x[2] >= 20) >= 2;How are logical constraints extracted?Logical constraints are transformed automatically into equivalent linear formulations whenthey are extracted by an <strong>ILOG</strong> CPLEX algorithm. This transformation involves automaticcreation by <strong>ILOG</strong> CPLEX of new variables and constraints. For more details on thistransformation, refer to the ILOC CPLEX documentation.128I L O G O P L D E V E L O P M E N T S T U D I O L A N G U A G ER E F E R E N C E M A N U A L

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!