MVN

hu.bme.mit.theta : theta-solver-smtlib-cli

Maven & Gradle

Jul 12, 2023
49 stars

Theta Solver Smtlib Cli · Solver Smtlib Cli subproject in the Theta model checking framework

<dependency>
    <groupId>hu.bme.mit.theta</groupId>
    <artifactId>theta-solver-smtlib-cli</artifactId>
    <version>4.4.4</version>
</dependency>
Copy
pom.xml
Table Of Contents

Latest Version

Choose a version of hu.bme.mit.theta : theta-solver-smtlib-cli to add to Maven or Gradle - Latest Versions:

  • Latest Stable: 4.4.4

All Versions

Choose a version of hu.bme.mit.theta : theta-solver-smtlib-cli to add to Maven or Gradle - All Versions:

Version Vulnerabilities Updated
4.4.x
theta-solver-smtlib-cli-4.4.4
theta-solver-smtlib-cli-4.4.3
theta-solver-smtlib-cli-4.4.2
theta-solver-smtlib-cli-4.4.1
theta-solver-smtlib-cli-4.4.0
4.3.x
theta-solver-smtlib-cli-4.3.0
4.2.x
theta-solver-smtlib-cli-4.2.5
theta-solver-smtlib-cli-4.2.4
theta-solver-smtlib-cli-4.2.3

How to add a dependency to Maven

Add the following hu.bme.mit.theta : theta-solver-smtlib-cli maven dependency to the pom.xml file with your favorite IDE (IntelliJ / Eclipse / Netbeans):

<dependency>
    <groupId>hu.bme.mit.theta</groupId>
    <artifactId>theta-solver-smtlib-cli</artifactId>
    <version>4.4.4</version>
</dependency>

How to add a dependency to Gradle

Gradle Groovy DSL: Add the following hu.bme.mit.theta : theta-solver-smtlib-cli gradle dependency to your build.gradle file:

implementation 'hu.bme.mit.theta:theta-solver-smtlib-cli:4.4.4'

Gradle Kotlin DSL: Add the following hu.bme.mit.theta : theta-solver-smtlib-cli gradle kotlin dependency to your build.gradle.kts file:

implementation("hu.bme.mit.theta:theta-solver-smtlib-cli:4.4.4")

How to add a dependency to SBT Scala

SBT Scala: Add the following hu.bme.mit.theta : theta-solver-smtlib-cli sbt scala dependency to your build.sbt file:

libraryDependencies += "hu.bme.mit.theta" % "theta-solver-smtlib-cli" % "4.4.4"

Advertisement

Dependencies from Group

Jul 12, 2023
49 stars
Jul 12, 2023
49 stars
Jul 12, 2023
49 stars
Jul 12, 2023
49 stars
Jul 12, 2023
49 stars

Discover Dependencies

Jul 12, 2023
49 stars
Jul 12, 2023
49 stars
Jul 12, 2023
49 stars
Jul 12, 2023
49 stars
Jul 12, 2023
49 stars
Jul 12, 2023
49 stars
Jul 12, 2023
49 stars
Jul 12, 2023
49 stars
May 17, 2023
49 stars
Jul 12, 2023
49 stars