Maven Repository: hu.bme.mit.theta » theta-chc-frontend

Theta Chc Frontend » 6.12.3

Chc Frontend subproject in the Theta model checking framework

License	Apache 2.0
Tags	frontend
HomePage	https://theta.mit.bme.hu/ 🔍 Inspect URL
Date	Apr 02, 2025
Files	pom (4 KB) jar (234 KB) View All
Repositories	Central
Ranking	#387242 in MvnRepository (See Top Artifacts)
Used By	1 artifacts

License

Apache 2.0

Tags

frontend

HomePage

https://theta.mit.bme.hu/ 🔍 Inspect URL

Date

Apr 02, 2025

Files

pom (4 KB) jar (234 KB) View All

Repositories

Central

Ranking

#387242 in MvnRepository (See Top Artifacts)

Used By

1 artifacts

Note: There is a new version for this artifact

New Version	6.17.0

New Version

6.17.0

Maven
Gradle
SBT
Mill
Ivy
Grape
Leiningen
Buildr

Scope:

<dependency>
    <groupId>hu.bme.mit.theta</groupId>
    <artifactId>theta-chc-frontend</artifactId>
    <version>6.12.3</version>
    <scope>runtime</scope>
</dependency>

Scope:

Format:

runtimeOnly("hu.bme.mit.theta:theta-chc-frontend:6.12.3")

Scope:

libraryDependencies += "hu.bme.mit.theta" % "theta-chc-frontend" % "6.12.3" % "runtime"

Scope:

ivy"hu.bme.mit.theta:theta-chc-frontend:6.12.3"

Scope:

<dependency org="hu.bme.mit.theta" name="theta-chc-frontend" rev="6.12.3"/>

Scope:

@Grapes(
    @Grab(group='hu.bme.mit.theta', module='theta-chc-frontend', version='6.12.3', scope='runtime')
)

Scope:

[hu.bme.mit.theta/theta-chc-frontend "6.12.3"]

Scope:

'hu.bme.mit.theta:theta-chc-frontend:jar:6.12.3'

Include backlinks

Compile Dependencies (1)

Category/License		Group / Artifact	Version	Updates
Parser Generator BSD 3-clause		org.antlr » antlr4	4.12.0	4.13.2

Category/License

Group / Artifact

Version

Updates

Parser Generator
BSD 3-clause

org.antlr » antlr4

4.12.0

4.13.2

Runtime Dependencies (9)

Category/License	Group / Artifact	Version	Updates
JSON Lib Apache 2.0	com.google.code.gson » gson	2.9.1	2.13.2
Core Utils Apache 2.0	com.google.guava » guava	32.1.2-jre	33.5.0-jre
Apache 2.0	hu.bme.mit.theta » theta-core	6.12.3	6.17.0
Apache 2.0	hu.bme.mit.theta » theta-common	6.12.3	6.17.0
Apache 2.0	hu.bme.mit.theta » theta-xcfa	6.12.3	6.17.0
Apache 2.0	hu.bme.mit.theta » theta-solver-smtlib	6.12.3	6.17.0
Parser Generator BSD 3-clause	org.antlr » antlr4-runtime	4.12.0	4.13.2
Apache 2.0EPL 1.0	org.fusesource.hawtjni » hawtjni-runtime	1.18	✔
Lang Runtime Apache 2.0	org.jetbrains.kotlin » kotlin-stdlib-jdk8	1.9.25	2.2.21