4.0.0 hu.bme.mit.theta theta-xta-cli 6.17.0 Theta Xta Cli Xta Cli subproject in the Theta model checking framework https://theta.mit.bme.hu/ The Apache License, Version 2.0 http://www.apache.org/licenses/LICENSE-2.0.txt Gábor Szárnyas https://github.com/szarnyasg Kristóf Marussy https://github.com/kris7t Levente Bajczi https://github.com/leventeBajczi Mihály Dobos-Kovács https://github.com/as3810t Milán Mondok https://github.com/mondokm Dániel Szekeres https://github.com/szdan97 László Radnai https://github.com/radl97 Zsófia Ádám https://github.com/AdamZsofi Vince Molnár https://github.com/vincemolnar Márk Somorjai https://github.com/s0mark Csanád Telbisz https://github.com/csanadtelbisz Botond Sisák https://github.com/sisakb Zalán Mondok https://github.com/mondokz scm:git:git://github.com/ftsrg/theta.git scm:git:ssh://github.com:ftsrg/theta.git https://theta.mit.bme.hu/ org.jetbrains.kotlin kotlin-stdlib-jdk8 1.9.25 runtime com.google.guava guava 32.1.2-jre runtime com.google.code.gson gson 2.9.1 runtime org.fusesource.hawtjni hawtjni-runtime 1.18 runtime com.beust jcommander 1.72 runtime com.github.ajalt.clikt clikt 4.4.0 runtime hu.bme.mit.theta theta-xta 6.17.0 runtime hu.bme.mit.theta theta-xta-analysis 6.17.0 runtime hu.bme.mit.theta theta-solver-z3-legacy 6.17.0 runtime hu.bme.mit.theta theta-solver 6.17.0 runtime hu.bme.mit.theta theta-common 6.17.0 runtime hu.bme.mit.theta theta-core 6.17.0 runtime hu.bme.mit.theta theta-analysis 6.17.0 runtime

theta-xta-cli

Dependents

theta-xta-cli

Dependents