Description

<dependency>
    <groupId>hu.bme.mit.theta</groupId>
    <artifactId>theta-sts-cli</artifactId>
    <version>6.13.2</version>
</dependency>

<?xml version="1.0" encoding="UTF-8"?>
<project xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 https://maven.apache.org/xsd/maven-4.0.0.xsd" xmlns="http://maven.apache.org/POM/4.0.0"
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
  <!-- This module was also published with a richer model, Gradle metadata,  -->
  <!-- which should be used instead. Do not delete the following line which  -->
  <!-- is to indicate to Gradle or any Gradle module metadata file consumer  -->
  <!-- that they should prefer consuming it instead. -->
  <!-- do_not_remove: published-with-gradle-metadata -->
  <modelVersion>4.0.0</modelVersion>
  <groupId>hu.bme.mit.theta</groupId>
  <artifactId>theta-sts-cli</artifactId>
  <version>6.13.2</version>
  <name>Theta Sts Cli</name>
  <description>Sts Cli subproject in the Theta model checking framework</description>
  <url>https://theta.mit.bme.hu/</url>
  <licenses>
    <license>
      <name>The Apache License, Version 2.0</name>
      <url>http://www.apache.org/licenses/LICENSE-2.0.txt</url>
    </license>
  </licenses>
  <developers>
    <developer>
      <name>Gábor Szárnyas</name>
      <url>https://github.com/szarnyasg</url>
    </developer>
    <developer>
      <name>Kristóf Marussy</name>
      <url>https://github.com/kris7t</url>
    </developer>
    <developer>
      <name>Levente Bajczi</name>
      <url>https://github.com/leventeBajczi</url>
    </developer>
    <developer>
      <name>Mihály Dobos-Kovács</name>
      <url>https://github.com/as3810t</url>
    </developer>
    <developer>
      <name>Milán Mondok</name>
      <url>https://github.com/mondokm</url>
    </developer>
    <developer>
      <name>Dániel Szekeres</name>
      <url>https://github.com/szdan97</url>
    </developer>
    <developer>
      <name>László Radnai</name>
      <url>https://github.com/radl97</url>
    </developer>
    <developer>
      <name>Zsófia Ádám</name>
      <url>https://github.com/AdamZsofi</url>
    </developer>
    <developer>
      <name>Vince Molnár</name>
      <url>https://github.com/vincemolnar</url>
    </developer>
    <developer>
      <name>Márk Somorjai</name>
      <url>https://github.com/s0mark</url>
    </developer>
    <developer>
      <name>Csanád Telbisz</name>
      <url>https://github.com/csanadtelbisz</url>
    </developer>
    <developer>
      <name>Botond Sisák</name>
      <url>https://github.com/sisakb</url>
    </developer>
    <developer>
      <name>Zalán Mondok</name>
      <url>https://github.com/mondokz</url>
    </developer>
  </developers>
  <scm>
    <connection>scm:git:git://github.com/ftsrg/theta.git</connection>
    <developerConnection>scm:git:ssh://github.com:ftsrg/theta.git</developerConnection>
    <url>https://theta.mit.bme.hu/</url>
  </scm>
  <dependencies>
    <dependency>
      <groupId>org.jetbrains.kotlin</groupId>
      <artifactId>kotlin-stdlib-jdk8</artifactId>
      <version>1.9.25</version>
      <scope>runtime</scope>
    </dependency>
    <dependency>
      <groupId>com.google.guava</groupId>
      <artifactId>guava</artifactId>
      <version>32.1.2-jre</version>
      <scope>runtime</scope>
    </dependency>
    <dependency>
      <groupId>com.google.code.gson</groupId>
      <artifactId>gson</artifactId>
      <version>2.9.1</version>
      <scope>runtime</scope>
    </dependency>
    <dependency>
      <groupId>org.fusesource.hawtjni</groupId>
      <artifactId>hawtjni-runtime</artifactId>
      <version>1.18</version>
      <scope>runtime</scope>
    </dependency>
    <dependency>
      <groupId>com.beust</groupId>
      <artifactId>jcommander</artifactId>
      <version>1.72</version>
      <scope>runtime</scope>
    </dependency>
    <dependency>
      <groupId>com.github.ajalt.clikt</groupId>
      <artifactId>clikt</artifactId>
      <version>4.4.0</version>
      <scope>runtime</scope>
    </dependency>
    <dependency>
      <groupId>hu.bme.mit.theta</groupId>
      <artifactId>theta-sts</artifactId>
      <version>6.13.2</version>
      <scope>runtime</scope>
    </dependency>
    <dependency>
      <groupId>hu.bme.mit.theta</groupId>
      <artifactId>theta-common</artifactId>
      <version>6.13.2</version>
      <scope>runtime</scope>
    </dependency>
    <dependency>
      <groupId>hu.bme.mit.theta</groupId>
      <artifactId>theta-core</artifactId>
      <version>6.13.2</version>
      <scope>runtime</scope>
    </dependency>
    <dependency>
      <groupId>hu.bme.mit.theta</groupId>
      <artifactId>theta-analysis</artifactId>
      <version>6.13.2</version>
      <scope>runtime</scope>
    </dependency>
    <dependency>
      <groupId>hu.bme.mit.theta</groupId>
      <artifactId>theta-sts-analysis</artifactId>
      <version>6.13.2</version>
      <scope>runtime</scope>
    </dependency>
    <dependency>
      <groupId>hu.bme.mit.theta</groupId>
      <artifactId>theta-solver</artifactId>
      <version>6.13.2</version>
      <scope>runtime</scope>
    </dependency>
    <dependency>
      <groupId>hu.bme.mit.theta</groupId>
      <artifactId>theta-solver-z3-legacy</artifactId>
      <version>6.13.2</version>
      <scope>runtime</scope>
    </dependency>
    <dependency>
      <groupId>hu.bme.mit.theta</groupId>
      <artifactId>theta-solver-z3</artifactId>
      <version>6.13.2</version>
      <scope>runtime</scope>
    </dependency>
    <dependency>
      <groupId>hu.bme.mit.theta</groupId>
      <artifactId>theta-solver-smtlib</artifactId>
      <version>6.13.2</version>
      <scope>runtime</scope>
    </dependency>
    <dependency>
      <groupId>hu.bme.mit.theta</groupId>
      <artifactId>theta-solver-javasmt</artifactId>
      <version>6.13.2</version>
      <scope>runtime</scope>
    </dependency>
  </dependencies>
</project>