com.regblanc : scala-smtlib_2.11

<!-- https://mavenlibs.com/maven/dependency/com.regblanc/scala-smtlib_2.11 --><dependency>
    <groupId>com.regblanc</groupId>
    <artifactId>scala-smtlib_2.11</artifactId>
    <version>0.2.2-12-g91e7214</version>
</dependency>

// https://mavenlibs.com/maven/dependency/com.regblanc/scala-smtlib_2.11implementation group: 'com.regblanc', name: 'scala-smtlib_2.11', version: '0.2.2-12-g91e7214'

// https://mavenlibs.com/maven/dependency/com.regblanc/scala-smtlib_2.11implementation 'com.regblanc:scala-smtlib_2.11:0.2.2-12-g91e7214'

// https://mavenlibs.com/maven/dependency/com.regblanc/scala-smtlib_2.11implementation("com.regblanc:scala-smtlib_2.11:0.2.2-12-g91e7214")

// https://mavenlibs.com/maven/dependency/com.regblanc/scala-smtlib_2.11libraryDependencies += "com.regblanc" % "scala-smtlib_2.11" % "0.2.2-12-g91e7214"

<!-- https://mavenlibs.com/maven/dependency/com.regblanc/scala-smtlib_2.11 --><dependency org="com.regblanc" name="scala-smtlib_2.11" rev="0.2.2-12-g91e7214"/>

// https://mavenlibs.com/maven/dependency/com.regblanc/scala-smtlib_2.11@Grapes(
    @Grab(group='com.regblanc', module='scala-smtlib_2.11', version='0.2.2-12-g91e7214')
)

;; https://mavenlibs.com/maven/dependency/com.regblanc/scala-smtlib_2.11[com.regblanc/scala-smtlib_2.11 "0.2.2-12-g91e7214"]

# https://mavenlibs.com/maven/dependency/com.regblanc/scala-smtlib_2.11'com.regblanc:scala-smtlib_2.11:jar:0.2.2-12-g91e7214'