MVN

hu.bme.mit.theta : theta-c2xcfa

Maven & Gradle

Feb 15, 2024
46 stars

Theta C2xcfa · C2xcfa subproject in the Theta model checking framework

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

Latest Version

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

  • Latest Stable: 5.0.1

All Versions

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

Version Vulnerabilities Updated
5.0.x
theta-c2xcfa-5.0.1

How to add a dependency to Maven

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

<dependency>
    <groupId>hu.bme.mit.theta</groupId>
    <artifactId>theta-c2xcfa</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-c2xcfa gradle dependency to your build.gradle file:

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

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

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

How to add a dependency to SBT Scala

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

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

Advertisement

Dependencies from Group

Jul 12, 2023
46 stars
Jul 12, 2023
46 stars
Jul 12, 2023
46 stars
Jul 12, 2023
46 stars
Jul 12, 2023
46 stars

Discover Dependencies

Feb 15, 2024
46 stars
Feb 15, 2024
46 stars
Feb 15, 2024
46 stars
Feb 15, 2024
46 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