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
The Model Checker can be accessed from the menu bar by
selecting . There are two levels of checks available:
- Elements
- Check the quality of elements.
- Solver
- Check your model for errors and warnings.