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

<!-- https://mavenlibs.com/maven/dependency/hu.bme.mit.theta/theta-solver-z3-legacy --><dependency>
    <groupId>hu.bme.mit.theta</groupId>
    <artifactId>theta-solver-z3-legacy</artifactId>
    <version>5.0.2</version>
</dependency>

// https://mavenlibs.com/maven/dependency/hu.bme.mit.theta/theta-solver-z3-legacyimplementation group: 'hu.bme.mit.theta', name: 'theta-solver-z3-legacy', version: '5.0.2'

// https://mavenlibs.com/maven/dependency/hu.bme.mit.theta/theta-solver-z3-legacyimplementation 'hu.bme.mit.theta:theta-solver-z3-legacy:5.0.2'

// https://mavenlibs.com/maven/dependency/hu.bme.mit.theta/theta-solver-z3-legacyimplementation("hu.bme.mit.theta:theta-solver-z3-legacy:5.0.2")

// https://mavenlibs.com/maven/dependency/hu.bme.mit.theta/theta-solver-z3-legacylibraryDependencies += "hu.bme.mit.theta" % "theta-solver-z3-legacy" % "5.0.2"

<!-- https://mavenlibs.com/maven/dependency/hu.bme.mit.theta/theta-solver-z3-legacy --><dependency org="hu.bme.mit.theta" name="theta-solver-z3-legacy" rev="5.0.2"/>

// https://mavenlibs.com/maven/dependency/hu.bme.mit.theta/theta-solver-z3-legacy@Grapes(
    @Grab(group='hu.bme.mit.theta', module='theta-solver-z3-legacy', version='5.0.2')
)

;; https://mavenlibs.com/maven/dependency/hu.bme.mit.theta/theta-solver-z3-legacy[hu.bme.mit.theta/theta-solver-z3-legacy "5.0.2"]

# https://mavenlibs.com/maven/dependency/hu.bme.mit.theta/theta-solver-z3-legacy'hu.bme.mit.theta:theta-solver-z3-legacy:jar:5.0.2'