Download JAR files tagged by lean with all dependencies

coreasm-ui-carma 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-ui-carma
Show all versions Show documentation Show source

0 downloads

Artifact coreasm-ui-carma
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-ui-carma
License Academic Free License 3.0
Dependencies amount 5
Dependencies slf4j-api, logback-classic, jsap, coreasm-util, coreasm-engine,
There are maybe transitive dependencies!

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

Group: de.athalis.coreasm Artifact: coreasm-parent
Show all versions

There is no JAR file uploaded. A download is not possible! Please choose another version.

0 downloads

Artifact coreasm-parent
Group de.athalis.coreasm
Version 1.7.3-locke-6

Page 9 from 9 (items total 82)