Model Checker
Check the solver validity of the model, identify modeling issues, 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.