JarCastingCoreASM Engine
The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification (where appropriate) of abstract system models.
| Лицензия |
Лицензия |
|---|---|
| Категории |
КатегорииASM Библиотеки уровня приложения Bytecode Manipulation |
| Группа | Группаorg.coreasm |
| Идентификатор | Идентификаторorg.coreasm.engine |
| Последняя версия | Последняя версия1.7.3 |
| Дата | Дата |
| Тип | Типjar |
| Описание |
ОписаниеCoreASM Engine
The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification (where appropriate) of abstract system models.
|
Скачать org.coreasm.engine
| Имя Файла | Размер |
|---|---|
| org.coreasm.engine-1.7.3.pom | |
| org.coreasm.engine-1.7.3.jar | 9 MB |
| org.coreasm.engine-1.7.3-sources.jar | 4 MB |
| org.coreasm.engine-1.7.3-javadoc.jar | 4 MB |
| Обзор |
Как подключить последнюю версию
<!-- https://jarcasting.com/artifacts/org.coreasm/org.coreasm.engine/ -->
<dependency>
<groupId>org.coreasm</groupId>
<artifactId>org.coreasm.engine</artifactId>
<version>1.7.3</version>
</dependency>// https://jarcasting.com/artifacts/org.coreasm/org.coreasm.engine/
implementation 'org.coreasm:org.coreasm.engine:1.7.3'// https://jarcasting.com/artifacts/org.coreasm/org.coreasm.engine/
implementation ("org.coreasm:org.coreasm.engine:1.7.3")'org.coreasm:org.coreasm.engine:jar:1.7.3'<dependency org="org.coreasm" name="org.coreasm.engine" rev="1.7.3">
<artifact name="org.coreasm.engine" type="jar" />
</dependency>@Grapes(
@Grab(group='org.coreasm', module='org.coreasm.engine', version='1.7.3')
)libraryDependencies += "org.coreasm" % "org.coreasm.engine" % "1.7.3"[org.coreasm/org.coreasm.engine "1.7.3"]Зависимости
compile (10)
| Идентификатор библиотеки | Тип | Версия |
|---|---|---|
| jgraph : jgraph | jar | 5.13.0.0 |
| net.sf.jgrapht : jgrapht | jar | 0.8.3 |
| org.jparsec : jparsec | jar | 2.1 |
| concurrent : concurrent | jar | 1.3.4 |
| junit : junit | jar | 4.8.2 |
| org.coreasm : org.coreasm.util | jar | 1.7.3 |
| cglib : cglib | jar | 3.1 |
| org.slf4j : slf4j-api | jar | 1.7.7 |
| ch.qos.logback : logback-classic | jar | 1.1.2 |
| ch.qos.logback : logback-core | jar | 1.1.2 |
Модули Проекта
Данный проект не имеет модулей.
