Model Checker

Check the solver validity of the model, identify modeling issues, and fix modeling issues in an automatic or manual way.

Using the Model Checker, you can manage the checks as per user requirements, by:
  • Interactively creating/editing checks and corrections
  • Changing the level of checks
  • Organizing checks in custom folders
  • Activating/deactivating checks
  • Saving/reading Model Check configurations to/from an .xml file
From the menu bar, click Tools > Model Checker. There are two levels of checks available:
Elements
Check the quality of elements.
Solver
Check your model for errors and warnings.