Last Version

CoreASM Configuration Component 1.7.3-locke-5

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.

License

License

Categories

Categories

ASM Application Layer Libs Bytecode Manipulation config Configuration
GroupId

GroupId

de.athalis.coreasm
ArtifactId

ArtifactId

coreasm-config
Version

Version

1.7.3-locke-5
Type

Type

jar
Description

Description

CoreASM Configuration Component
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.

Download coreasm-config 1.7.3-locke-5


<!-- https://jarcasting.com/artifacts/de.athalis.coreasm/coreasm-config/ -->
<dependency>
    <groupId>de.athalis.coreasm</groupId>
    <artifactId>coreasm-config</artifactId>
    <version>1.7.3-locke-5</version>
</dependency>
// https://jarcasting.com/artifacts/de.athalis.coreasm/coreasm-config/
implementation 'de.athalis.coreasm:coreasm-config:1.7.3-locke-5'
// https://jarcasting.com/artifacts/de.athalis.coreasm/coreasm-config/
implementation ("de.athalis.coreasm:coreasm-config:1.7.3-locke-5")
'de.athalis.coreasm:coreasm-config:jar:1.7.3-locke-5'
<dependency org="de.athalis.coreasm" name="coreasm-config" rev="1.7.3-locke-5">
  <artifact name="coreasm-config" type="jar" />
</dependency>
@Grapes(
@Grab(group='de.athalis.coreasm', module='coreasm-config', version='1.7.3-locke-5')
)
libraryDependencies += "de.athalis.coreasm" % "coreasm-config" % "1.7.3-locke-5"
[de.athalis.coreasm/coreasm-config "1.7.3-locke-5"]

Dependencies

compile (4)

Group / Artifact Type Version
ch.qos.logback : logback-classic jar 1.2.10
ch.qos.logback : logback-core jar 1.2.10
org.slf4j : slf4j-api jar 1.7.32
de.athalis.coreasm : coreasm-util jar 1.7.3-locke-5

Project Modules

There are no modules declared in this project.