t

theta-xta-cli

Xta Cli subproject in the Theta model checking framework
https://theta.mit.bme.hu/
The Apache License, Version 2.0
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
subproject checking framework model theta
Files download
File Operation
theta-xta-cli-5.1.0.jar download
theta-xta-cli-5.1.0.pom download
theta-xta-cli-5.1.0-sources.jar download
Apache Maven 
<dependency>
  <groupId>hu.bme.mit.theta</groupId>
  <artifactId>theta-xta-cli</artifactId>
  <version>5.1.0</version>
</dependency>
Gradle Groovy 
implementation 'hu.bme.mit.theta:theta-xta-cli:5.1.0'
Gradle Kotlin 
implementation("hu.bme.mit.theta:theta-xta-cli:5.1.0")
Scala SBT 
libraryDependencies += "hu.bme.mit.theta" % "theta-xta-cli" % "5.1.0"
Groovy Grape 
@Grapes(
  @Grab(group='hu.bme.mit.theta', module='theta-xta-cli', version='5.1.0')
)
Apache Ivy 
<dependency org="hu.bme.mit.theta" name="theta-xta-cli" rev="5.1.0" />
Leiningen 
[hu.bme.mit.theta/theta-xta-cli "5.1.0"]
Apache Buildr 
'hu.bme.mit.theta:theta-xta-cli:jar:5.1.0'
Dependencies

runtime

|-- org.jetbrains.kotlin:kotlin-stdlib-jdk8:1.7.10

|-- com.google.guava:guava:31.1-jre

|-- com.google.code.gson:gson:2.9.1

|-- org.fusesource.hawtjni:hawtjni-runtime:1.18

|-- com.beust:jcommander:1.72

|-- hu.bme.mit.theta:theta-xta:5.1.0

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

|-- hu.bme.mit.theta:theta-solver-z3-legacy:5.1.0

|-- hu.bme.mit.theta:theta-solver:5.1.0

|-- hu.bme.mit.theta:theta-common:5.1.0

|-- hu.bme.mit.theta:theta-core:5.1.0

|-- hu.bme.mit.theta:theta-analysis:5.1.0