Download coreasm-engine JAR file with all dependencies

coreasm-engine from group de.athalis.coreasm (version 1.7.3-locke-6)

This is a fork of the CoreASM project from https://github.com/coreasm/coreasm.core 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.

Group: de.athalis.coreasm Artifact: coreasm-engine
Show all versions Show documentation Show source

0 downloads

Artifact coreasm-engine
Group de.athalis.coreasm
Version 1.7.3-locke-6
Last update 22. November 2022
Organization not specified
URL https://github.com/Locke/coreasm.core/coreasm-engine
License Academic Free License 3.0
Dependencies amount 6
Dependencies slf4j-api, jgraph, jgrapht-core, jgrapht-ext, jparsec, coreasm-util,
There are maybe transitive dependencies!

Page 1 from 1 (items total 1)