MVN

hu.bme.mit.theta : theta-xta-analysis

Maven & Gradle

Jul 12, 2023

49 stars

Theta Xta Analysis · Xta Analysis subproject in the Theta model checking framework

Homepage Maven Central

<!-- https://mavenlibs.com/maven/dependency/hu.bme.mit.theta/theta-xta-analysis --><dependency>
    <groupId>hu.bme.mit.theta</groupId>
    <artifactId>theta-xta-analysis</artifactId>
    <version>4.4.4</version>
</dependency>

// https://mavenlibs.com/maven/dependency/hu.bme.mit.theta/theta-xta-analysisimplementation group: 'hu.bme.mit.theta', name: 'theta-xta-analysis', version: '4.4.4'

// https://mavenlibs.com/maven/dependency/hu.bme.mit.theta/theta-xta-analysisimplementation 'hu.bme.mit.theta:theta-xta-analysis:4.4.4'

// https://mavenlibs.com/maven/dependency/hu.bme.mit.theta/theta-xta-analysisimplementation("hu.bme.mit.theta:theta-xta-analysis:4.4.4")

// https://mavenlibs.com/maven/dependency/hu.bme.mit.theta/theta-xta-analysislibraryDependencies += "hu.bme.mit.theta" % "theta-xta-analysis" % "4.4.4"

<!-- https://mavenlibs.com/maven/dependency/hu.bme.mit.theta/theta-xta-analysis --><dependency org="hu.bme.mit.theta" name="theta-xta-analysis" rev="4.4.4"/>

// https://mavenlibs.com/maven/dependency/hu.bme.mit.theta/theta-xta-analysis@Grapes(
    @Grab(group='hu.bme.mit.theta', module='theta-xta-analysis', version='4.4.4')
)

;; https://mavenlibs.com/maven/dependency/hu.bme.mit.theta/theta-xta-analysis[hu.bme.mit.theta/theta-xta-analysis "4.4.4"]

# https://mavenlibs.com/maven/dependency/hu.bme.mit.theta/theta-xta-analysis'hu.bme.mit.theta:theta-xta-analysis:jar:4.4.4'

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 hu.bme.mit.theta : theta-xta-analysis to add to Maven or Gradle - Latest Versions:

Latest Stable: 4.4.4

All Versions

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

Version	Vulnerabilities	Updated
4.4.x	theta-xta-analysis-4.4.4		Jul 12, 2023
theta-xta-analysis-4.4.3		Jul 12, 2023
theta-xta-analysis-4.4.2		Jul 11, 2023
theta-xta-analysis-4.4.1		Jul 11, 2023
theta-xta-analysis-4.4.0		Jul 11, 2023
4.3.x	theta-xta-analysis-4.3.0		Jul 03, 2023
4.2.x	theta-xta-analysis-4.2.5		May 17, 2023
theta-xta-analysis-4.2.4		May 17, 2023
theta-xta-analysis-4.2.3		May 17, 2023

Version

Vulnerabilities

Updated

4.4.x

theta-xta-analysis-4.4.4

Jul 12, 2023

theta-xta-analysis-4.4.3

Jul 12, 2023

theta-xta-analysis-4.4.2

Jul 11, 2023

theta-xta-analysis-4.4.1

Jul 11, 2023

theta-xta-analysis-4.4.0

Jul 11, 2023

4.3.x

theta-xta-analysis-4.3.0

Jul 03, 2023

4.2.x

theta-xta-analysis-4.2.5

May 17, 2023

theta-xta-analysis-4.2.4

May 17, 2023

theta-xta-analysis-4.2.3

May 17, 2023

How to add a dependency to Maven

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

<dependency>
    <groupId>hu.bme.mit.theta</groupId>
    <artifactId>theta-xta-analysis</artifactId>
    <version>4.4.4</version>
</dependency>

How to add a dependency to Gradle

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

implementation 'hu.bme.mit.theta:theta-xta-analysis:4.4.4'

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

implementation("hu.bme.mit.theta:theta-xta-analysis:4.4.4")

How to add a dependency to SBT Scala

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

libraryDependencies += "hu.bme.mit.theta" % "theta-xta-analysis" % "4.4.4"

Dependencies from Group

theta-analysis

@hu.bme.mit.theta

Jul 12, 2023

49 stars

theta-c-frontend

@hu.bme.mit.theta

Jul 12, 2023

49 stars

theta-cat

@hu.bme.mit.theta

Jul 12, 2023

49 stars

theta-cfa

@hu.bme.mit.theta

Jul 12, 2023

49 stars

theta-cfa-analysis

@hu.bme.mit.theta

Jul 12, 2023

49 stars

More Dependencies ❯

Discover Dependencies

theta-xta-cli

@hu.bme.mit.theta

Jul 12, 2023

49 stars

jqassistant-mapstruct-plugin

@org.jqassistant.plugin

May 17, 2023

0 stars

google-api-services-prod_tt_sasportal

@com.google.apis

Aug 18, 2023

quill-jdbc-zio_2.12

@com.github.ajozwik

May 21, 2023

11 stars

quill-jdbc-zio_2.13

@com.github.ajozwik

May 21, 2023

11 stars

sbt-quill-crud-generic_2.12_1.0

@com.github.ajozwik

May 21, 2023

11 stars

vegafusion

@io.vegafusion

Aug 21, 2023

321 stars

jetpackcompose-applovin

@io.github.afalabarce

Jul 03, 2023

11 stars

jetpackcompose-wortise

@io.github.afalabarce

Jul 03, 2023

11 stars

rwkv-jni

@io.vacco.rwkv

May 17, 2023

2 stars

More Dependencies ❯