Manage and Run Checks
Use the Model Checker to configure solver validity checks, modify and create new checks and corrections, and fix modeling issues in an automatic or manual way.
- 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
- Elements
- Check the quality of elements.
- Solver
- Check your model for errors and warnings.