MVN

de.athalis.coreasm : coreasm-engine

Maven & Gradle

Nov 22, 2022

2 usages

1 stars

CoreASM Engine · 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.

<!-- https://mavenlibs.com/maven/dependency/de.athalis.coreasm/coreasm-engine --><dependency>
    <groupId>de.athalis.coreasm</groupId>
    <artifactId>coreasm-engine</artifactId>
    <version>1.7.3-locke-6</version>
</dependency>

// https://mavenlibs.com/maven/dependency/de.athalis.coreasm/coreasm-engineimplementation group: 'de.athalis.coreasm', name: 'coreasm-engine', version: '1.7.3-locke-6'

// https://mavenlibs.com/maven/dependency/de.athalis.coreasm/coreasm-engineimplementation 'de.athalis.coreasm:coreasm-engine:1.7.3-locke-6'

// https://mavenlibs.com/maven/dependency/de.athalis.coreasm/coreasm-engineimplementation("de.athalis.coreasm:coreasm-engine:1.7.3-locke-6")

// https://mavenlibs.com/maven/dependency/de.athalis.coreasm/coreasm-enginelibraryDependencies += "de.athalis.coreasm" % "coreasm-engine" % "1.7.3-locke-6"

<!-- https://mavenlibs.com/maven/dependency/de.athalis.coreasm/coreasm-engine --><dependency org="de.athalis.coreasm" name="coreasm-engine" rev="1.7.3-locke-6"/>

// https://mavenlibs.com/maven/dependency/de.athalis.coreasm/coreasm-engine@Grapes(
    @Grab(group='de.athalis.coreasm', module='coreasm-engine', version='1.7.3-locke-6')
)

;; https://mavenlibs.com/maven/dependency/de.athalis.coreasm/coreasm-engine[de.athalis.coreasm/coreasm-engine "1.7.3-locke-6"]

# https://mavenlibs.com/maven/dependency/de.athalis.coreasm/coreasm-engine'de.athalis.coreasm:coreasm-engine:jar:1.7.3-locke-6'

Copy

pom.xml

Include comment with link to declaration

Table Of Contents

Latest Version
All Versions
How to add a dependency to Maven
How to add a dependency to Gradle
How to add a dependency to SBT Scala

Latest Version

Choose a version of de.athalis.coreasm : coreasm-engine to add to Maven or Gradle - Latest Versions:

Latest Stable: 1.7.3-locke-6

All Versions

Choose a version of de.athalis.coreasm : coreasm-engine to add to Maven or Gradle - All Versions:

Version	Vulnerabilities	Updated
1.7.x	coreasm-engine-1.7.3-locke-6		Nov 22, 2022
coreasm-engine-1.7.3-locke-5		Jan 10, 2022
coreasm-engine-1.7.3-locke-4		Sep 27, 2019

Version

Vulnerabilities

Updated

1.7.x

coreasm-engine-1.7.3-locke-6

Nov 22, 2022

coreasm-engine-1.7.3-locke-5

Jan 10, 2022

coreasm-engine-1.7.3-locke-4

Sep 27, 2019

How to add a dependency to Maven

Add the following de.athalis.coreasm : coreasm-engine maven dependency to the pom.xml file with your favorite IDE (IntelliJ / Eclipse / Netbeans):

<dependency>
    <groupId>de.athalis.coreasm</groupId>
    <artifactId>coreasm-engine</artifactId>
    <version>1.7.3-locke-6</version>
</dependency>

How to add a dependency to Gradle

Gradle Groovy DSL: Add the following de.athalis.coreasm : coreasm-engine gradle dependency to your build.gradle file:

implementation 'de.athalis.coreasm:coreasm-engine:1.7.3-locke-6'

Gradle Kotlin DSL: Add the following de.athalis.coreasm : coreasm-engine gradle kotlin dependency to your build.gradle.kts file:

implementation("de.athalis.coreasm:coreasm-engine:1.7.3-locke-6")

How to add a dependency to SBT Scala

SBT Scala: Add the following de.athalis.coreasm : coreasm-engine sbt scala dependency to your build.sbt file:

libraryDependencies += "de.athalis.coreasm" % "coreasm-engine" % "1.7.3-locke-6"

Dependencies from Group

coreasm-util

@de.athalis.coreasm

Nov 22, 2022

4 usages

1 stars

coreasm-engine

@de.athalis.coreasm

Nov 22, 2022

2 usages

1 stars

coreasm-ui-carma

@de.athalis.coreasm

Nov 22, 2022

1 stars

coreasm-parent

@de.athalis.coreasm

Nov 22, 2022

1 stars

coreasm-config

@de.athalis.coreasm

Nov 22, 2022

1 stars

More Dependencies ❯

Discover Dependencies

spring-security-multi-auth-starter

@com.forgerock

Oct 10, 2019

1 usages

2 stars

probability-measure-circe_2.13

@au.id.tmm.probability

Oct 17, 2019

1 usages

1 stars

courio-core_sjs0.6_2.13

@io.cour

Dec 21, 2019

1 usages

0 stars

comparable

@com.gitlab.marvinh

Oct 06, 2019

1 usages

valid-jsr

@com.github.houbb

Aug 06, 2022

2 usages

wx-tools-ma

@com.naspat

May 08, 2020

1 usages

0 stars

medium-zoom

@org.webjars.npm

Jul 19, 2023

1 usages

3.4k stars

sbtscala11_2.11

@com.github.kynthus

Dec 04, 2020

1 usages

codegen

@cc.youchain

May 20, 2020

1 usages

plugin_2.12

@io.github.scalan

Oct 24, 2019

1 usages

4 stars

More Dependencies ❯