Model Checker
The Model Checker can be customized to add custom checks and corrections.
The Model Checker allows for checking the solver validity of the model, identifying modeling issues and fixing them in an automatic or manual way.
The flexibility of the Model Checker infrastructure allows to easily manage customizations
by:
- Interactively creating and editing checks and corrections
- Changing the level of checks
- Organizing checks in custom folders
- Activating/deactivating checks
- Saving and loading the Model Checker config to/from an .xml file
The following default folders of checks are available:
- ERROR - A folder identifying modeling issues that need to be fixed to ensure the model can be run by the solver.
- WARNING - A folder identifying modeling recommendations or solver warnings to improve the quality of the model, but are not critical for the model to be run by the solver.
- INFO - A folder containing generic information on the content of the model.