Updating ModelChecker readme to reflect the dependency on mps-modelchecker

mbeddr / mps-build-backends

Command-line utilities used e.g. by Gradle plugins to generate or check models.

Apache License 2.0

3 stars 4 forks source link

Closed tomb50 closed 5 months ago