Once you remove all the syntax errors from your LINGO model, there is still one very important step required: model verification.  LINGO’s set-based modeling capabilities are very powerful, and they allow you to generate large, complex models quickly and easily.  However, when you first develop a model you will need to verify that the model being generated matches up to the model you actually intended to generate. Many set-based models can be quite complex, and it is highly likely that logic errors may creep into one or more expressions, thereby causing your generated model to be flawed. The Solver|Generate command is very useful for debugging such errors. It expands all of the model's compact set-based expressions and then writes out the full scalarbased equivalent of the LINGO model. The expanded model report explicitly lists all the generated constraints and variables in your model.  You will find that the Generate report can be an invaluable tool in tracking down errors.

When selecting the Generate command, you will be presented with a pop-up menu prompting you for one of the following options: