Maven Repository: hu.bme.mit.theta » theta-solver-smtlib

Theta Solver Smtlib » 6.12.1

Solver Smtlib subproject in the Theta model checking framework

License	Apache 2.0
Tags	solver
HomePage	https://theta.mit.bme.hu/ 🔍 Inspect URL
Date	Mar 30, 2025
Files	pom (5 KB) jar (341 KB) View All
Repositories	Central
Ranking	#53346 in MvnRepository (See Top Artifacts)
Used By	9 artifacts
Vulnerabilities	Vulnerabilities from dependencies: CVE-2024-25710 CVE-2023-2976 CVE-2021-36090 CVE-2021-35517 CVE-2021-35516 CVE-2021-35515 CVE-2020-8908 View 4 more ...

License

Apache 2.0

Tags

solver

HomePage

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

Date

Mar 30, 2025

Files

pom (5 KB) jar (341 KB) View All

Repositories

Central

Ranking

#53346 in MvnRepository (See Top Artifacts)

Used By

9 artifacts

Vulnerabilities

Vulnerabilities from dependencies:
CVE-2024-25710
CVE-2023-2976
CVE-2021-36090
View 4 more ...

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-solver-smtlib</artifactId>
    <version>6.12.1</version>
    <scope>runtime</scope>
</dependency>

Scope:

Format:

runtimeOnly("hu.bme.mit.theta:theta-solver-smtlib:6.12.1")

Scope:

libraryDependencies += "hu.bme.mit.theta" % "theta-solver-smtlib" % "6.12.1" % "runtime"

Scope:

ivy"hu.bme.mit.theta:theta-solver-smtlib:6.12.1"

Scope:

<dependency org="hu.bme.mit.theta" name="theta-solver-smtlib" rev="6.12.1"/>

Scope:

@Grapes(
    @Grab(group='hu.bme.mit.theta', module='theta-solver-smtlib', version='6.12.1', scope='runtime')
)

Scope:

[hu.bme.mit.theta/theta-solver-smtlib "6.12.1"]

Scope:

'hu.bme.mit.theta:theta-solver-smtlib:jar:6.12.1'

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 (12)

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 2 vulnerabilities	31.1-jre	33.5.0-jre
External Proc Exec Apache 2.0	com.zaxxer » nuprocess	2.0.6	3.0.0
Apache 2.0	hu.bme.mit.theta » theta-common	6.12.1	6.17.0
Apache 2.0	hu.bme.mit.theta » theta-core	6.12.1	6.17.0
Apache 2.0	hu.bme.mit.theta » theta-solver	6.12.1	6.17.0
Parser Generator BSD 3-clause	org.antlr » antlr4-runtime	4.12.0	4.13.2
Compression Apache 2.0	org.apache.commons » commons-compress 5 vulnerabilities	1.20	1.28.0
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
Reflection Apache 2.0	org.jetbrains.kotlin » kotlin-reflect	1.9.25	2.2.21
Mocking MIT	org.mockito.kotlin » mockito-kotlin	5.4.0	6.1.0