Download scala-smtlib_2.11-0.2.2-7-g00a9686.jar file

Description

scala-smtlib

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

MIT-style

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

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

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

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

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

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

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

Click the following link to download the jar file.