MVN

hu.bme.mit.theta : theta-grammar

Maven & Gradle

Feb 15, 2024
49 stars

Theta Grammar · Grammar subproject in the Theta model checking framework

<dependency>
    <groupId>hu.bme.mit.theta</groupId>
    <artifactId>theta-grammar</artifactId>
    <version>5.0.1</version>
</dependency>
Copy
pom.xml
Table Of Contents

Latest Version

Choose a version of hu.bme.mit.theta : theta-grammar to add to Maven or Gradle - Latest Versions:

  • Latest Stable: 5.0.1

All Versions

Choose a version of hu.bme.mit.theta : theta-grammar to add to Maven or Gradle - All Versions:

Version Vulnerabilities Updated
5.0.x
theta-grammar-5.0.1

How to add a dependency to Maven

Add the following hu.bme.mit.theta : theta-grammar maven dependency to the pom.xml file with your favorite IDE (IntelliJ / Eclipse / Netbeans):

<dependency>
    <groupId>hu.bme.mit.theta</groupId>
    <artifactId>theta-grammar</artifactId>
    <version>5.0.1</version>
</dependency>

How to add a dependency to Gradle

Gradle Groovy DSL: Add the following hu.bme.mit.theta : theta-grammar gradle dependency to your build.gradle file:

implementation 'hu.bme.mit.theta:theta-grammar:5.0.1'

Gradle Kotlin DSL: Add the following hu.bme.mit.theta : theta-grammar gradle kotlin dependency to your build.gradle.kts file:

implementation("hu.bme.mit.theta:theta-grammar:5.0.1")

How to add a dependency to SBT Scala

SBT Scala: Add the following hu.bme.mit.theta : theta-grammar sbt scala dependency to your build.sbt file:

libraryDependencies += "hu.bme.mit.theta" % "theta-grammar" % "5.0.1"

Advertisement

Dependencies from Group

Jul 12, 2023
49 stars
Jul 12, 2023
49 stars
Jul 12, 2023
49 stars
Jul 12, 2023
49 stars
Jul 12, 2023
49 stars

Discover Dependencies

Feb 15, 2024
49 stars
Feb 15, 2024
49 stars
Feb 15, 2024
49 stars
Feb 15, 2024
0 stars
Feb 15, 2024
0 stars
Feb 15, 2024
0 stars
Feb 15, 2024
0 stars
Feb 15, 2024
0 stars
Feb 15, 2024
0 stars
Feb 15, 2024
0 stars