Download scala-smtlib_2.11-0.2.2.jar file

Description

scala-smtlib

You can download jar file scala-smtlib_2.11 0.2.2 in this page.

MIT-style

You can use the following script to add scala-smtlib_2.11-0.2.2.jar to your project.

<dependency>
   <groupId>com.regblanc</groupId>
   <artifactId>scala-smtlib_2.11</artifactId>
   <version>0.2.2</version>
</dependency>

compile group: 'com.regblanc', name: 'scala-smtlib_2.11', version: '0.2.2'

libraryDependencies += "com.regblanc" % "scala-smtlib_2.11" % "0.2.2"

<dependency org="com.regblanc" name="scala-smtlib_2.11" rev="0.2.2"/>

@Grapes(@Grab(group='com.regblanc', module='scala-smtlib_2.11', version='0.2.2'))

'com.regblanc:scala-smtlib_2.11:jar:0.2.2'

Click the following link to download the jar file.