Skip to content

com.jetbrains.mps-modelchecker 2022.3.1

Install 1/2: Add this to pom.xml:
Learn more about Maven or Gradle
<dependency>
  <groupId>com.jetbrains</groupId>
  <artifactId>mps-modelchecker</artifactId>
  <version>2022.3.1</version>
</dependency>
Install 2/2: Run via command line
$ mvn install

About this package

Documentation

No description available yet.

The 2022.3.1 version of this package has been published Dec 11, 2023.