| Лицензия |
Лицензия |
|---|---|
| Группа | Группаorg.into-cps.maestro |
| Идентификатор | Идентификаторmodeldefinitionchecker |
| Последняя версия | Последняя версия2.1.9 |
| Дата | Дата |
| Тип | Типjar |
| Описание |
ОписаниеA VDM model checker for Model Definition
Sonatype helps open source projects to set up Maven repositories on https://oss.sonatype.org/
|
| Организация-разработчик |
Организация-разработчик |
| Имя Файла | Размер |
|---|---|
| modeldefinitionchecker-2.1.9.pom | |
| modeldefinitionchecker-2.1.9.jar | 52 KB |
| modeldefinitionchecker-2.1.9-sources.jar | 31 KB |
| modeldefinitionchecker-2.1.9-javadoc.jar | 532 KB |
| Обзор |
JarCasting<!-- https://jarcasting.com/artifacts/org.into-cps.maestro/modeldefinitionchecker/ -->
<dependency>
<groupId>org.into-cps.maestro</groupId>
<artifactId>modeldefinitionchecker</artifactId>
<version>2.1.9</version>
</dependency>// https://jarcasting.com/artifacts/org.into-cps.maestro/modeldefinitionchecker/
implementation 'org.into-cps.maestro:modeldefinitionchecker:2.1.9'// https://jarcasting.com/artifacts/org.into-cps.maestro/modeldefinitionchecker/
implementation ("org.into-cps.maestro:modeldefinitionchecker:2.1.9")'org.into-cps.maestro:modeldefinitionchecker:jar:2.1.9'<dependency org="org.into-cps.maestro" name="modeldefinitionchecker" rev="2.1.9">
<artifact name="modeldefinitionchecker" type="jar" />
</dependency>@Grapes(
@Grab(group='org.into-cps.maestro', module='modeldefinitionchecker', version='2.1.9')
)libraryDependencies += "org.into-cps.maestro" % "modeldefinitionchecker" % "2.1.9"[org.into-cps.maestro/modeldefinitionchecker "2.1.9"]| Идентификатор библиотеки | Тип | Версия |
|---|---|---|
| org.overturetool.core.codegen : codegen-runtime | jar | 2.4.4 |
| org.into-cps.maestro : fmi | jar | 2.1.9 |
| com.spencerwi : Either.java | jar | 2.1.1 |
| org.apache.logging.log4j : log4j-core | jar | 2.14.1 |
| org.apache.logging.log4j : log4j-slf4j-impl | jar | 2.14.1 |
| Идентификатор библиотеки | Тип | Версия |
|---|---|---|
| org.junit.jupiter : junit-jupiter | jar | 5.7.1 |