Home » hu.bme.mit.theta » theta-cfa-cli » 6.13.0

Theta Cfa Cli » 6.13.0

Cfa Cli subproject in the Theta model checking framework

LicenseApache 2.0
Tagscommand-line
HomePage https://theta.mit.bme.hu/ 🔍 Inspect URL
DateApr 24, 2025
Filespom (5 KB)  jar (13 KB)  View All
RepositoriesCentral
Ranking#378613 in MvnRepository (See Top Artifacts)
Used By1 artifacts

Note: There is a new version for this artifact

New Version6.17.0

Scope:
Scope:
Format:
Scope:
Scope:
Scope:
Scope:
Scope:
Scope:

Compile Dependencies (0)

Category/License Group / ArtifactVersionUpdates

Runtime Dependencies (14)

Category/License Group / ArtifactVersionUpdates
CLI Parser
Apache 2.0		com.beust » jcommander 1.723.0
CLI Parser
Apache 2.0		com.github.ajalt.clikt » clikt 4.4.05.0.3
JSON Lib
Apache 2.0		com.google.code.gson » gson 2.9.12.13.2
Core Utils
Apache 2.0		com.google.guava » guava 32.1.2-jre33.5.0-jre

Apache 2.0		hu.bme.mit.theta » theta-cfa 6.13.06.17.0

Apache 2.0		hu.bme.mit.theta » theta-solver 6.13.06.17.0

Apache 2.0		hu.bme.mit.theta » theta-core 6.13.06.17.0

Apache 2.0		hu.bme.mit.theta » theta-common 6.13.06.17.0

Apache 2.0		hu.bme.mit.theta » theta-analysis 6.13.06.17.0

Apache 2.0		hu.bme.mit.theta » theta-cfa-analysis 6.13.06.17.0

Apache 2.0		hu.bme.mit.theta » theta-solver-z3-legacy 6.13.06.17.0

Apache 2.0		hu.bme.mit.theta » theta-solver-smtlib 6.13.06.17.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.252.2.21

Licenses

LicenseURL
The Apache License, Version 2.0 http://www.apache.org/licenses/LICENSE-2.0.txt

Developers

NameEmailDev IdRolesOrganization
Gábor Szárnyas
Kristóf Marussy
Levente Bajczi
Mihály Dobos-Kovács
Milán Mondok
Dániel Szekeres
László Radnai
Zsófia Ádám
Vince Molnár
Márk Somorjai
Csanád Telbisz
Botond Sisák
Zalán Mondok